dette publique sénégal