Envoyer par SMS: Principles and Proofs :