Envoyer par SMS: From Kant to Hilbert