semi-classical asymptotics, celestial mechanics