TRIPOLI. n. m. Terre d'un jaune rougeâtre et d'un grain très fin, composée presque entièrement de silice, dont on se sert pour polir les glaces, les métaux. Nettoyer, frotter des chandeliers avec du tripoli.
Tout ou partie de cette définition est extrait du Dictionnaire de l'Académie française, huitième édition, 1932-1935