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

Thierry Coquand

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