13 000 milliards de dollars. C'est ce qu'a coûté au contribuable américain la guerre froide au 20ème siècle (source : CIA).