23 milliards de dollars.</p>