TY  - JOUR
AU  - Coquand, Thierry
TI  - Sur un théorème de Kronecker concernant les variétés algébriques
JO  - Comptes Rendus. Mathématique
PY  - 2004
SP  - 291
EP  - 294
VL  - 338
IS  - 4
PB  - Elsevier
UR  - http://www.numdam.org/articles/10.1016/j.crma.2003.12.008/
DO  - 10.1016/j.crma.2003.12.008
LA  - fr
ID  - CRMATH_2004__338_4_291_0
ER  -