Envoyer par SMS: Logic for Computer Scientists