Semiclassical analysis, Witten Laplacians, and statistical mechanics - Helffer, Bernard (2002)