Puy-de-Dôme, Département du (France)