Envoyer par SMS: Proof theory /