@article{CTGDC_1992__33_3_279_0,
     author = {Prout\'e, Alain},
     title = {Expressions ind\'etermin\'ees, constructivisme et axiome du choix},
     journal = {Cahiers de Topologie et G\'eom\'etrie Diff\'erentielle Cat\'egoriques},
     pages = {279--288},
     publisher = {Dunod \'editeur, publi\'e avec le concours du CNRS},
     volume = {33},
     number = {3},
     year = {1992},
     mrnumber = {1186953},
     zbl = {0769.03033},
     language = {fr},
     url = {http://www.numdam.org/item/CTGDC_1992__33_3_279_0/}
}