Jardin des Plantes
The Jardin du Roi is now known as the "Jardin des Plantes" (Garden of Plants).