On a complex symplectic manifold, we prove a finiteness result for the global sections of solutions of
holonomic
-modules
in two cases: (a) by assuming that there exists a Poisson compactification,
(b) in the algebraic case. This extends our previous result in which the
symplectic manifold was compact. The main tool is a finiteness theorem for
-constructible
sheaves on a real analytic manifold in a nonproper situation.