Commutativité de la multiplication