Trump au secours de la RD Congo : que sait-on de l'accord minier évoqué entre les deux pays ?