Action des opérateurs microdifférentiels sur la microlocalisation.

Pour une variété complexe $X$, le faisceau $\mathcal{E}_X$ des
opérateurs microdifférentiels agit sur la microlocalisation $T\mu
hom(F,\mathcal{O}_X)$, où $F$ est un faisceau sur $X$. Cette action
est définie seulement dans la catégorie dérivée des faisceaux sur le
cotangent de $X$. Il est naturel de chercher à  mettre sur $T\mu
hom(F,\mathcal{O}_X)$ une structure de $\mathcal{E}_X$-module (ou
plutôt d'objet de la catégorie dérivée des $\mathcal{E}_X$-modules),
relevant cette action. Nous verrons qu'une telle structure existe.

L'exposé commencera par des rappels sur les microdifférentiels et la
microlocalisation.