Source: http://alain.billeau.free.fr/N/notion_de_groupe.pdf