MINES DIVERSES

L’Inde, le Brésil et l’Afrique australe sont ou ont été les trois véritables grands producteurs de diamants à la surface du globe. On compte cependant un certain nombre d’autres régions dans lesquelles on en a trouvé une plus ou moins grande quantité : il faut citer en première ligne l’île de Bornéo, qui fournit à la production annuelle un appoint dont la valeur n’est pas négligeable, puis l’Australie, où, à défaut de véritable importance commerciale, les gisements diamantifères ont du moins été l’objet d’observations scientifiques et d’une petite exploitation : mais les autres gisements ou prétendus gisements diamantifères sont mal connus ou n’ont jamais été l’objet d’une exploitation quelconque ; quelques-uns même ne doivent probablement leur existence qu’à la supercherie de gens intéressés.