Analyse de SMT.L…