correction de dpll dont l'apprentissage de clause était buggé