TY  - JOUR
AU  - Thierry Coquand
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
DO  - 10.1016/j.crma.2003.12.008
LA  - fr
ID  - CRMATH_2004__338_4_291_0
ER  -