dpll, pas de clause vi
Pas de clause vide pendant un pari
Merge branch 'master' of https://github.com/nagaaym/projet2