Changement de la notation pour qu'elle perturbe pas mes groupes