dpll avec les commentaires et qui compile