Fin de la preuve de la commutativité de + (après avoir enregistré les modifications ça marche mieux...)