Continuation correction.
Ajout Neq et et Eq.