Jardin du Luxembourg: Palais du Luxembourg