Envoyer par SMS: Mathematical logic and computer science /