  We shall explain how the idea of microlocal analysis of the seventies has
been reformulated in the framework of sheaf theory in the eighties and then
applied to various branches of mathematics, such as linear partial differential
equations or symplectic topology.
