constructivistical theory of the real numbers - Français Anglais Dictionnaire