Implementation de l'algo DPLL. Fichiers de test.
Suppression des fichiers surnuméraires.