Antiguo coro, SAN MIGUEL DEL PINO