correction contrainte