Suppression d'invariant inutile