Zaslat SMS: Formal aspects of cognitive processes :