Envoyer par SMS: Proof theory