Envoyer par SMS: Syntaxe théorique et formelle