Définition et exemples courants des groupes infinis