Abstract. This article is devoted to the quantization of the Lagrangian submanifold in the context of geometric quantization. The objects we define are similar to the Lagrangian distributions of the cotangent phase space theory. We apply this to construct quasimodes for the Toeplitz operators and we state the Bohr-Sommerfeld conditions under the usual regularity assumption. To compare with the Bohr-Sommerfeld conditions for a pseudodifferential operator with small parameter, the Maslov index, defined from the vertical polarization, is replaced with a curvature integral, defined from the complex polarization. We also consider the quantization of the symplectomorphisms, the realization of semi-classical equivalence between two different quantizations of a symplectic manifold and the microlocal equivalences.Let (M, ω) be a symplectic compact manifold of dimension 2n endowed with a prequantization bundle, that is a complex line bundle L → M with a Hermitian structure h and a covariant derivation ∇ whose curvature is ω. To quantize these data, we assume that M is endowed with a complex structure J which is integrable and compatible with −iω. The quantum space H k is defined as the space of the holomorphic sections of L k → M . k is any positive integer and the semi-classical limit is k → ∞. The quantum semi-classical observables are the Berezin-Toeplitz operators (cf.
[2], [3], [4], [5]). The purpose of this article is to quantize the Lagrangian manifolds of M , by generalising the ansatz for the Schwartz kernel of a Toeplitz operator that we proposed in [5]. We will apply this to produce quasimodes of Toeplitz operators and deduce the Bohr-Sommerfeld conditions. Let us state this last result in the case M is 2-dimensional. Consider the Toeplitz operatorand f 1 are some functions of C ∞ (M ) and M f0+k −1 f1 is the multiplication operator by f 0 + k −1 f 1 .Assume that E 0 is a regular value of the principal symbol f 0 of (T k ) and that f −1 0 (E 0 ) is connected. Then if E belongs to some neighborhood U of E 0 , the level set f −1 (E) = Λ E is a circle.Theorem 0.1. For all sequences (E α , k α ) of U × N,where