Source: http://www.leplacidehotel.fr/visiter-paris/le-jardin-le-palais-du-luxembourg-et-le-musee-du-senat.pdf