Travertin

== Allemand == === Étymologie === De l’italien travertino, du latin lapis tiburtinus, composé de lapis (« pierre ») et de tiburtinus (« de Tivoli »), littéralement « pierre de Tivoli » ; les carrières de travertin de Tivoli ont été exploitées dès l’Antiquité. === Nom commun === Travertin \tʀavɛʁˈtiːn\ masculin (Géologie) Travertin. (Construction, Maçonnerie) Travertin. ==== Synonymes ==== Kalksinter Kalktuff