Análisis microlocal de la correspondencia granel-borde