Sénégal : dette "cachée" d'environ 7 milliards de dollars (FMI)