Introduction to semiclassical and microlocal enalysis - Martinez Andre Ed. (2002)