Envoyer par SMS: Proof and other dilemmas