"Autour de 20 milliards d'euros" d'exportations d'armements français en 2025 (ministre)