Envoyer par SMS: Strictness Analysis and Polymorphic Invariance