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