Bohr-Sommerfeld rules, Moyal formula, functional calculus, pseudo-differential operator,
spectral theory, Quantization rules