rédaction de l'algorithme dpll