Quelques modifs dans l'écriture de dpll, j'ai un doute sur une ligne dans le backtrack, je te laisse regarder