Envoyer par SMS: Deduction, Computation, Experiment