Paris, capitale au temps de Richelieu et de Mazarin