Le Puy de Dôme et la chaîne des volcans modernes. — Édouard Vimont