%0 Journal Article %A Lavendhomme, R. %A Lucas, Th. %T À propos d'un théorème de MacIntyre %J Cahiers de Topologie et Géométrie Différentielle Catégoriques %D 1981 %P 387-398 %V 22 %N 4 %I Dunod éditeur, publié avec le concours du CNRS %U http://geodesic.mathdoc.fr/item/CTGDC_1981__22_4_387_0/ %G fr %F CTGDC_1981__22_4_387_0