TY - JOUR AU - Gramain, François TI - Non-minimalité de la clôture différentielle I : la preuve de S. Shelah JO - Groupe d'étude de théories stables N1 - talk:4 PY - 1980-1982 SP - 1 EP - 9 VL - 3 PB - Secrétariat mathématique UR - http://www.numdam.org/item/STS_1980-1982__3__A4_0/ LA - fr ID - STS_1980-1982__3__A4_0 ER -