Envoyer par SMS: Vagueness and intuitionistic logic