SMS dit: Détermination et formalisation