semi-classique, puits ponctuel non d\'eg\'en\'er\'e, 
construction $BKW$, distance d'Agmon, Schr\"odinger, Dirac