Envoyer par SMS: Descriptional complexity of formal systems