Coro de la iglesia de San Antonio, PIEDRALAVES