400 milliards d'euros pour les armées, un budget en hausse