travertin [travɛrtɛ̃]

nom masculin

(it. travertino, du lat. tiburnitus, de Tibur, Tivoli)

Roche calcaire présentant des cavités garnies de cristaux, employée en construction.