Envoyer par SMS: Logic and Proof Techniques /