Envoyer par SMS: Varieties of constructive mathematics