Strongly nonlinear problem of infinite order with data.
Syzygies of modules and applications to propagation of regularity phenomena.
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.