Sur un théorème de Kronecker concernant les variétés algébriques

Thierry Coquand

Comptes Rendus. Mathématique, Volume 338 (2004) p. 291-294