C'était un drapeau de 9 milliards de dollars.