quantization, coherent states, Lie groups, Segal-Bargmann transform