Réduction d'un système microdifférentiel aux points génériques. I B. Malgrange (1981) Compositio Mathematica