Envoyer par SMS: Certified programs and proofs :