Quantification asymptotique et microlocalisations d'ordre supérieur. I J.-M. Bony, N. Lerner (1989) Annales scientifiques de l'École Normale Supérieure