commutativité de la multiplication