它前身是宫廷图书馆,由菲利普五世建于1712年。