commutativité de l’addition