WKB eigenmode construction for analytic Toeplitz operators

We provide almost eigenfunctions for Toeplitz operators with real-analytic symbols, at the bottom of non-degenerate wells. These almost eigenfunctions follow the WKB ansatz; the error is O(exp(–cN)), where c > 0 and N $\to$ +$\mathrm{\infty }$ is the inverse semiclassical parameter.