Envoyer par SMS: A practical calculus