9,5 milliards de dollars, c'est la somme d'argent qu'avait mise de côté le gouvernement américain dans les années 80 au...