La" librería rica" de Felipe II, origen de la Real Biblioteca del Monasterio de San Lorenzo de El Escorial