EBK quantization of quasi-energies