Ressources minérales et développement en Afrique — France. Comité interministériel de la coopération internationale et du développement