@rogal au temps pour moi, j’ai confondu commutativité, transitivité et distributivité des opérations avec réflexivité, symétrie et transitivité des relations binaires. Aïe !