modification de l'affichage du résultat de dpll
modification complète de moms, ajout de dlis
merge