Les Plantes du Roi. Note sur un grand ouvrage de botanique préparé au XVIIe siècle par l'Académie royale des Sciences