rattrapage dans le cas insatisfiable