Ajout de la notion de groupe