Le théorème des images directes de Grauert [d'après Kiehl-Verdier]
Séminaire de géométrie analytique, Astérisque, no. 16 (1974), 14 p. 
@incollection{AST_1974__16__49_0,
     author = {Douady, Adrien},
     title = {Le th\'eor\`eme des images directes de Grauert [d'apr\`es Kiehl-Verdier]},
     booktitle = {S\'eminaire de g\'eom\'etrie analytique},
     author = {Collectif},
     series = {Ast\'erisque},
     publisher = {Soci\'et\'e math\'ematique de France},
     number = {16},
     year = {1974},
     zbl = {0293.32011},
     mrnumber = {466614},
     language = {fr},
     url = {http://archive.numdam.org/item/AST_1974__16__49_0/}
}
Douady, Adrien. Le théorème des images directes de Grauert [d'après Kiehl-Verdier], dans Séminaire de géométrie analytique, Astérisque, no. 16 (1974), 14 p. http://archive.numdam.org/item/AST_1974__16__49_0/

[1] H. Cartan et J.-P. Serre - Un théorème de finitude concernant les variétés analytiques compactes, C. R. Acad. Sci. Paris, 237 (1953), p. 128-130. | MR 66010 | Zbl 0050.17701

[2] H. Grauert - Ein Theorem der Analytischen Garbentheorie und die modulräume Complexer Strukturen, Publ. Math. I.H.E.S., Bures-sur-Yvette, 1960. | EuDML 103818 | MR 121814 | Zbl 0100.08001

[3] K. Knorr - Der Grauertsche Kohärenzsatz, Inventiones Math. 1970.

[4] Kiehl-Verdier - Ein Einfacher Beweis des Kohärensatzes von Grauert, Math. Ann. 195 (1971), p. 24-50. | Article | EuDML 162207 | MR 306555 | Zbl 0223.32010

[5] Forster-Knorr - Ein Beweis des Grauertsehen Bildgarbensatzes nach idees von B. Malgrange, Manuscripta Mathematica, Vol. 5, Fasc. 1, 1971. | EuDML 154057 | MR 308437 | Zbl 0242.32008

[6] Par exemple : F. Trèves - Topological Vector spaces, Academic Press. | MR 225131