Sénégal : baisse de 4.2% du PIB selon le FMI