Envoyer par SMS: Two Applications of Logic to Mathematics /