De encyclopaedisten in de bibliotheek van de koning