Dossier de rendu final et correction d'un bug SMT