fonctions d'affichage de solution pour smt