The level crossing problem in semi-classical analysis I. The symmetric case
We describe a microlocal normal form for a symmetric system of pseudo-differential equations whose principal symbol is a real symmetric matrix with a generic crossing of eigenvalues. We use it in order to give a precise description of the microlocal solutions.