La bibliothèque royale à Paris au XVIIe siècle — France. Ministère de l'instruction publique