première version de dpll