Coro de la iglesia de Santo Domingo de Silos, AREVALO