département du Pui-de-Dôme.,