Text this: Puy-de-Dôme. Le trachyte en Auvergne : exploitation, utilisation et diffusion de l’Antiquité à l’Époque moderne