Infrastructures africaines — Banque internationale pour la reconstruction et le développement, Agence française de développement