Renvoi plus joli du résultat dans dpll