TRAVERTIN, subst. masc.
Étymol. et Hist. 1. 1611
trevertin (
Cotgr.) − 1676 (
Félibien);
2. 1694
tevertin (
Corneille) − 1771 (
Trév.);
3. 1765
travertin (
Encyclop.). Empr. aux formes ital.
tebertino (
xives.),
tivertino (1585,
Garzoni),
travertino (dep. 1681,
Baldinucci d'apr.
DEI) « tuf calcaire grisâtre utilisé dans la construction », du lat.
(lapis) tiburtinus «
id. » (
Pline ds
OLD), propr. « pierre de Tivoli », ce tuf étant extrait de carrières proches de Tivoli (lat.
Tibur). Voir
FEW t. 13, 1, pp. 324b-325a.