Semi-classical analysis for the Schrödinger operator and applications - Helffer, Bernard 1949- (Springer, 1988)