Obras de Monasterio de El Escorial (San Lorenzo de El Escorial, España). Biblioteca (2)