Let X be a complex analytic manifold. We construct a microlocal versio
n of the functor of formal cohomology (see [4]). We then obtain a tool
of comparison between the functor of formal cohomology and tensor pro
duct with the sheaf of holomorphic functions on X. (C) Academie des Sc
iences/Elsevier, Paris