constructivistical theory of the real numbers - French English Dictionary