Modif smt.ml