Convergence of a quantum normal form and an exact quantization formula - Sandro Graffi; Thierry Paul (2011)