Microlocal study of sheaves