Irregularity of holonomic algebraic D-modules

We establish an irregularity theorem for holonomic algebraic D-modules on vector bundles. We prove that the complexes of solutions of exponential type associated with these D-modules have constructible cohomology, a fact which allows us to compute their Euler-Poincare obstruction.