Puy de sancy, Auvergne