Born-Oppenheimer approximation, quantum dynamics, semiclassical methods, exponential asymptotics