Fête patronale, Saint Gervais d’Auvergne