compil de SMT réussie