Une forme normale de Birkhoff semi-classique pour le Laplacien magnétique

On s'intéresse à l'opérateur de Schrödinger L_h avec champs magnétique,
dépendant du paramètre semi-classique "h". On cherche à approcher les plus
petites valeurs propres de cet opérateur en construisant une forme normale
: on va conjuguer L_h avec un opérateur unitaire U_h, pour se ramener à un
opérateur plus simple, la forme normale N_h. Pour construire
judicieusement cette forme normale, on utilisera des outils d'analyse
microlocale, et la théorie des opérateurs h-pseudodifférentiels.