réécriture de dpll