Commerce extérieur : 57,7 milliards d’euros d’importations en juillet 2025