Haute-Loire, Département de la (France)