Microlocalization of Ind-Sheaves

We recall the theory of analytic ind-sheaves recently introduced by P. Schapira and K. Kashiwara. We show how these tools can be used to unify Satos's theory of microlocalisation and how the microlocal solution complex \mu hom can be calculated in terms of ind-sheaves. As an example we state the microlocal Riemann-Hilbert correspondance between regular holonomic E-modules and microlocal perverse sheaves.