ajout de fonction DPLL existeclausevide entete de fonctions et correction de bugs