Le tripoli, avant qu'on en eût trouvé en Europe, était tiré de Tripoli d'Afrique suivant les uns, de Tripoli de Syrie suivant les autres ; d'où le nom.
Étymologie de tripoli
Voir aussi : Tripoli
Origine du mot tripoli
De Tripoli, port d’où cette pierre était exportée.
D'après le Wiktionnaire, CC BY-SA.
L'étymologie de tripoli selon le Littré
Émile Littré, Dictionnaire de la langue française, 1872-1877 : l'étymologie telle que la philologie de son temps l'établissait.
Le mot tripoli d'après le Littré
s. m. Nom donné à des couches géologiques importantes de silice pulvérulente, à grains presque impalpables, réunis en feuillets minces, d'une teinte rougeâtre ou jaune pâle. Lire l'article