SMS versenden: Détermination et formalisation