Un pétrolier touché par des « explosions externes » au large de la côte de Dakar