Martinez A., Sordoni V. Microlocal WKB Expansions (92K, LATeX 2e) ABSTRACT. In this paper, we investigate the existence of microlocal WKB expansions for the eigenfunctions of pseudodifferential operators whose symbol admits a non degenerate minimum at some point $(x_0,\xi_0)$ of ${\R}^{2n}$. This is the case, for example, of an electromagnetic Schr\"odinger operators when the electric potential admits a non degenerate minimum at some point $x_0$.