Le budget d'aide militaire de l'UE augmente de 3,8 milliards de dollars