La del rey, considerada como la mayor, no excede de mil volúmenes, colocados en una galería de doce mil pies de longitud, de la cual yo tenía licencia para sacar los libros que deseara.