Ajout de l'option SMT.