Une fuite de gaz détectée dans un des puits offshore au large du Sénégal et de la Mauritanie