Semi-Classical Analysis For The Schrodinger Operator And Applications by Bernard Helffer