TRIPOLI

Nom commun. Sorte de terre d’un jaune rougeâtre et d’un grain très fin, composée presque entièrement de silice, dont on se servait pour polir les glaces, les métaux.

On prétend que le Tripoli est une pierre, laquelle est devenue légère par le moyen de certaines veines de terre soufreuse qui ont brûlé sous ce tripoli, & lui a donné la qualité de blanchir, tripolir ou éclaircir le cuivre.

Source : Wiktionnaire via Kaikki/Wiktextract, sous licences CC BY-SA 4.0 et GFDL. Attribution complète