Exercice 8, § 2

Montrer que, pour tout nombre premier $p > 3$, $S_{2n}(p^k) - p^k b_{2n}$, mis sous forme de fraction irréductible, a un numérateur divisible par $p^{2k}$ (raisonner comme dans l’exerc. 6).