Envoyer par SMS: Algebraic and Automata-Theoretic Properties of Formal Languages