commutativité - algèbre générale -