modif de dpll
ok