ajout de dpll dans New