Einstein Structures: Existence Versus Uniqueness. A. Nabutovsky (1995) Geometric and functional analysis
Expressions indéterminées, constructivisme et axiome du choix Alain Prouté (1992) Cahiers de Topologie et Géométrie Différentielle Catégoriques