Quatre pays africains parmi les leaders de la production mondiale des diamants