Envoyer par SMS: Logic Colloquium '80 :