Retourne true si les deux expressions sont égales aux commutations près (et distribution du moins unaire)
Optional
Retourne true si les deux expressions sont égales aux commutations près (et distribution du moins unaire)