hornacina de San Miguel en la muralla