Sénégal : 13 000 tonnes de mangues exportées en 2020