Envoyer par SMS: From Algebra to Operational Semantics