$p$-valuation de $H_{{p-1}}$

on pose $S:=\sum_{k=1}^{p-1} 1/k$.
Toutes les sommes ci-dessous sont indexées sur $\{1;2;...;p-1\}$
On a$2S(p-1)!:=(p-1)!\sum [1/k+1/(p-k)]=p\sum\limits \frac{(p-1)!}{k(p-k)}=:pA (1)$
$A$ est un entier (car comme $p$ est impair, $k$ est distinct de $p-k$, donc ces deux entiers distincts strictement inférieurs à $p-1$, donc leur produit divise $(p-1)!$ et ainsi $A$ est une somme d’entiers) on a dans $\Z/p\Z$, $A=-\sum\limits (p-1)!/k^{2}$ et comme la fonction $x$ donne $1/x$ est une involution sur $\Z/p\Z^{*}$, les $1/k^2$ sont exactement les $k^{2}$ et $A=-(p-1)!\sum k^2$

Dans $\Z$, on a $\sum\limits k^{2}=\frac{(p-1)p(2p-1)}{6}$ et comme $p>3$, $6$ est inversible dans $\Z/p\Z$, on a dans $\Z/p\Z$, $A=0$ et donc dans $\Z$, $p|A$ donc $p^{2}|pA$ (2).

D’après (1) on a $2bpA=2Sb(p-1)!=2a(p-1)!$$ et d’après (2), $p^{2}|2a(p-1)!$
Comme $p$ est premier avec $2$ et $(p-1)!$ on en déduit que $p^{2}|a$.