un groupe est un ensemble d’éléments muni d’une opération associative * : avec un neutre et un inverse