V. Bargmann, On a Hilbert space of analytic functions and an associated integral transform part I, Communications on Pure and Applied Mathematics, vol.14, issue.3, pp.187-214, 1961.
DOI : 10.1002/cpa.3160140303

V. Bargmann, On a Hilbert Space of Analytie Functions and an Associated Integral Transform. Part II. A Family of Related Function Spaces Application to Distribution Theory, Communications on Pure and Applied Mathematics, vol.10, issue.1, pp.1-101, 1967.
DOI : 10.1002/cpa.3160200102

F. A. Berezin, General concept of quantization, Communications in Mathematical Physics, vol.31, issue.2, pp.153-174, 1975.
DOI : 10.1007/BF01609397

URL : http://projecteuclid.org/download/pdf_1/euclid.cmp/1103860463

R. Berman, B. Berndtsson, and J. Sjöstrand, A direct approach to Bergman kernel asymptotics for positive line bundles, Arkiv f??r Matematik, vol.46, issue.2, pp.197-217, 2008.
DOI : 10.1007/s11512-008-0077-x

D. Borthwick, Introduction to K??hler quantization, Contemporary Mathematics, vol.260, p.91, 2000.
DOI : 10.1090/conm/260/04158

L. Boutet, Intégration des équations de Cauchy-Riemann induites formelles, Séminaire Équations aux dérivées partielles, pp.1-13

L. Boutet-de-monvel and V. Guillemin, The spectral theory of Toeplitz operators, Number 99 in Annals of Mathematics Studies, 1981.

L. Boutet-de-monvel and J. Sjöstrand, Sur la singularit?? des noyaux de Bergman et de Szeg??, Journées équations aux dérivées partielles, pp.34-35123, 1975.
DOI : 10.5802/jedp.126

L. Charles, Aspects semi-classiques de la quantification géométrique, 2000.

L. Charles, Berezin-Toeplitz Operators, a Semi-Classical Approach, Communications in Mathematical Physics, vol.239, issue.1-2, pp.1-28, 2003.
DOI : 10.1007/s00220-003-0882-9

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.536.3094

L. Charles and L. Polterovich, Sharp correspondence principle and quantum measurements. arXiv preprint, 2015.

M. Christ, Upper bounds for Bergman kernels associated to positive line bundles with smooth hermitian metrics. arXiv preprint, 2013.
DOI : 10.1090/conm/320/05600

URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.15.8537

X. Dai, K. Liu, and X. Ma, On the asymptotic expansion of Bergman kernel, Journal of Differential Geometry, vol.72, issue.1, pp.1-41, 2006.
DOI : 10.4310/jdg/1143593124

URL : https://hal.archives-ouvertes.fr/hal-00084973

B. Douçot and P. Simon, A semiclassical analysis of order from disorder, Journal of Physics A: Mathematical and General, issue.28, p.315855, 1998.

G. Folland, Harmonic Analysis in phase space. Number 122 in Annals of Math. Studies, 1989.

B. Helffer and D. Robert, Puits de potentiel généralisés et asymptotique semi-classique, Annales de l'IHP Physique théorique, pp.291-331, 1984.

B. Helffer and J. Sjöstrand, Multiple wells in the semi-classical limit I, Communications in Partial Differential Equations, vol.52, issue.2, pp.337-408, 1984.
DOI : 10.1080/03605308408820335

B. Helffer and J. Sjöstrand, Multiple Wells in the Semi-Classical Limit III - Interaction Through Non-Resonant Wells, Mathematische Nachrichten, vol.14, issue.1, pp.263-313, 1985.
DOI : 10.1002/mana.19851240117

B. Helffer and J. Sjöstrand, Puits multiples en limite semi-classique II : Interaction moléculaire. symétries, perturbation, Annales de l'IHP Physique théorique, pp.127-212, 1985.

B. Helffer and J. Sjöstrand, Puits multiples en limite semi-classique V : Étude des minipuits. Current topics in partial differential equations, pp.133-186, 1986.
DOI : 10.1080/03605308508820379

B. Helffer and J. Sjöstrand, Puits multiples en mécanique semiclassique VI : Cas des puits sous-variétés, Annales de l'IHP Physique théorique, pp.353-372, 1987.

L. Hörmander, The analysis of linear partial differential operators. I. Distribution theory and Fourier analysis. Reprint of the second, 1990.

J. J. Kohn, Harmonic Integrals on Strongly Pseudo-Convex Manifolds: 1, Annals of Mathematics, pp.112-148, 1963.
DOI : 10.2307/1970506

J. J. Kohn, Harmonic Integrals on Strongly Pseudo-Convex Manifolds: 2, Annals of Mathematics, pp.450-472, 1964.
DOI : 10.2307/1970506

J. J. Kohn and H. Rossi, On the Extension of Holomorphic Functions from the Boundary of a Complex Manifold, The Annals of Mathematics, vol.81, issue.2, pp.451-472, 1965.
DOI : 10.2307/1970624

B. Kostant, Quantization and unitary representations In Lectures in modern analysis and applications III, pp.87-208, 1970.

Y. and L. Floch, Singular Bohr-Sommerfeld Conditions for 1D Toeplitz Operators: Elliptic Case, Communications in Partial Differential Equations, vol.99, issue.2, pp.213-243, 2014.
DOI : 10.1007/s12220-008-9022-2

URL : https://hal.archives-ouvertes.fr/hal-00736232

X. Ma and G. Marinescu, Holomorphic Morse inequalities and Bergman kernels, 2007.

A. Melin, Lower bounds for pseudo-differential operators, Arkiv f??r Matematik, vol.9, issue.1-2, pp.117-140, 1971.
DOI : 10.1007/BF02383640

S. Nakamura, Agmon-type exponential decay estimates for pseudodifferential operators, Journal of Mathematical Sciences, vol.5, issue.4, pp.693-712, 1998.

N. Raymond, S. V?uv?u, and . Ngo, Geometry and spectrum in 2D magnetic wells. Annales de l'Institut Fourier, pp.137-169, 2015.
DOI : 10.5802/aif.2927

URL : https://hal.archives-ouvertes.fr/hal-00836344

M. Schlichenmaier, Deformation quantization of compact Kähler manifolds by Berezin-Toeplitz quantization, Conférence Moshé Flato 1999, pp.289-306, 2000.
DOI : 10.1007/978-94-015-1276-3_22

URL : http://arxiv.org/pdf/math/9910137v1.pdf

B. Shiffman and S. Zelditch, Asymptotics of almost holomorphic sections of ample line bundles on symplectic manifolds, Journal f??r die reine und angewandte Mathematik (Crelles Journal), vol.2002, issue.544, pp.181-222, 2002.
DOI : 10.1515/crll.2002.023

B. Simon, Semiclassical analysis of low lying eigenvalues. I. Nondegenerate minima: Asymptotic expansions, Annales de l'IHP Physique théorique, pp.295-308, 1983.
DOI : 10.2307/2007072

B. Simon, Semiclassical Analysis of Low Lying Eigenvalues, II. Tunneling, The Annals of Mathematics, vol.120, issue.1, pp.89-118, 1984.
DOI : 10.2307/2007072

J. Souriau, Quantification géométrique. applications, pp.311-341, 1967.

S. and V. Ngo, Formes normales semi-classiques des systèmes complètement intégrables au voisinage d'un point critique de l'application moment, Asymptotic Analysis, vol.24, issue.4, pp.319-342, 2000.

S. and V. Ngo, Bohr-Sommerfeld conditions for integrable systems with critical manifolds of focus-focus type, Communications on Pure and Applied Mathematics, vol.53, issue.2, pp.143-217, 2001.

J. Williamson, On the Algebraic Problem Concerning the Normal Forms of Linear Dynamical Systems, American Journal of Mathematics, vol.58, issue.1, pp.141-163, 1936.
DOI : 10.2307/2371062

N. M. Woodhouse, Geometric quantization, 1997.

S. Zelditch, Szeg? kernels and a theorem of Tian, Internat. Math. Res. Notices, vol.6, pp.317-331, 1998.