Envoyer par SMS: A short introduction to intuitionistic logic