La source de laTête de lion, dans le Puy-de-Dôme, est l'une des 16 sources d'eau salée d'Auvergne; le travertin est la roche formée par le dépôt calcaire abandonnée par l'eau au fil du temps