Microlocal theory of sheaves and link with symplectic geometry