Envoyer par SMS: Absoluteness of intuitionistic logic /