Vérification des lois de commutativité et d'associativité dans les opérations sur les entiers