A finiteness theorem for holonomic DQ-modules on Poisson manifolds

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