Pas besoin de parler de la compilation, la notion de non-commutativité existe en maths pures et s'applique à la soustraction :