Sur la conjecture de Lax et Phillips pour un nombre fini d'obstacles strictement convexes
We introduce the notion of system of meromorphic microdifferential equations. We use it to prove a desingularization theorem for systems of microdifferential equations.
Propagation of regularity is considered for solutions of rectangular systems of infinite order partial differential equations (resp. convolution equations) in spaces of hyperfunctions (resp. C∞ functions and distributions). Known resulys of this kind are recovered as particular cases, when finite order partial differential equations are considered.