Born-Oppenheimer approximation, level crossings, Landau-Zener formula,  
Wigner measures