début de commentaire dans dpll.ml -> à compléter, j'ai pas encore tout compris + ajout d'un makefile + début de proposition de structure pour les watched literals