A) Première condition : l'existence d'un groupe