Ajout d'une fonction pour afficher les infos du problème SMT