Palais de Richelieu, aujourd(hui "Palais royal",