Se sabe que por dicha disposición entra en la librería palatina la colección Areche, de José Antonio de Areche (1731-1798), y se cree que tiene el mismo origen la de Alcedo, hoy presente en el palacio madrileño.