Source: https://njacon.perso.math.cnrs.fr/groupes.pdf