Définition : Groupe formel