constructivistical theory of the real numbers - Allemand Anglais Dictionnaire