France, Paris, Jardin du Luxembourg, Palais du Luxembourg