Envoyer par SMS: Applied abstract analysis