... ∆bis the sub-Laplacian, R and A11,11are respectively the scalar curva-ture and the second covariant derivative of the torsion of the Tanaka-Websterconnection for θ. Thus the integrand ψθθ ... section, we explain how to formulate the theorems interms of microfunctions, which are the main tools of this paper. We here recallall the definitions and results we use from the theory of microfunctions, ... expansion as ε → 0 of the integration of B(z,z)oneachfiberΩε(x )of :Ωε→ X in terms of the Bergman kernel on the diagonal Bm(x )of 514 KENGO HIRACHIH0(X, E⊗m). The formulas (5.3) and (5.4)...