Source: https://perso.univ-rennes1.fr/matthieu.romagny/M1ALGB1213/cours_ALGB.pdf