Zaslat SMS: Lecons de logique formelle