Coro de la iglesia de San Juan Degollado, VILLAMANIN