%0 Journal Article %A Kock, Anders %T Formal manifolds and synthetic theory of jet bundles %J Cahiers de topologie et géométrie différentielle %D 1980 %P 227-246 %V 21 %N 3 %I Dunod éditeur, publié avec le concours du CNRS %G en %F CTGDC_1980__21_3_227_0