prise en compte des changements dans dpll_test