Formal structure of direct image of holonomic D-modules of exponential type - C. Roucairol (2006)