Parmi les sujets traités figurent l'étude des faisceaux cohérents et de leur cohomologie, le théorème de platification par éclatements admissibles qui généralise au cadre formel-rigide un théorème de Raynaud-Gruson dans le cadre algébrique, et le théorème de comparaison du type GAGA pour les faisceaux cohérents.