modif de dpll_test