Bravo, c'est bien le Jardin du Luxembourg. Je corrige de suite !