G. E. Reyes (1981). Analyse dans les topos lisses. Third Colloquium on Categories, Part III (amiens, 1980, France). Cahiers de top. et geom. diff 22,
155-160.