ajout d'une option -naff de non affichage de la solution pour dpll