Normal form, quantization, convergence, Cherry's theorem