Coro de la iglesia de San Pedro, CISNEROS