The rest was allocated to the US Department of Defense as a supplement to its annual budget, which has been between $500 and $650 billion in recent years.
Le reste a été alloué au ministère de la défense à titre de rallonge à son budget annuel, 500 à 650 milliards de dollars ces dernières années.