El Escorial, Biblioteca, h.