Source: https://webusers.imj-prg.fr/~antoine.chambert-loir/enseignement/2013-14/polytech3/bretscher-full.pdf