Parmi les sujets traites figurent l'etude des faisceaux coherents et de leur cohomologie, le theoreme de platification par eclatements admissibles qui generalise au cadre formel-rigide un theoreme de Raynaud-Gruson dans le cadre algebrique, et le theoreme de comparaison du type GAGA pour les faisceaux coherents.