dette publique de 80 milliards de dollars