Quantification asymptotique et microlocalisations d'ordre supérieur J.-M. Bony, N. Lerner (1986/1987) Séminaire Équations aux dérivées partielles (Polytechnique)