Définition axiomatique d'un groupe (fermeture, loi de commutativité, etc.)