Borne inférieure rigoureuse de la conjecture du déficit δ_p(p^k-1) ≥ D*_k : identification du saturant j* = p·M_k et réponse à la question ouverte de la note 19866126 §8.1

On démontre rigoureusement la borne inférieure δ_p(p^k-1) ≥ D*_k de la Conjecture 10 de la note 19866126, en identifiant explicitement l'indice saturant j* = p·M_k = p + p² + ... + p^k. Résultat principal : pour tout premier p ≥ 3 impair et tout k ≥ 1, c_{p^k-1, p·M_k} ≡ (-1)^k (mod p) ce qui donne v_p(c_{p^k-1, p·M_k}) = 0, et combiné à v_p((p·M_k)!) = D*_k par Legendre, la borne inférieure annoncée. Apports vis-à-vis de 19866126 : Réponse à la question ouverte de §8.1 : le maximum de δ_p(p^k-1) est atteint exactement à j* = p·M_k, strictement plus grand que p^k-1, sans compensation.Identification de j* comme le plus grand bouquet (Définition 17 de 19866126) ≤ 2(p^k-1) ; tous les bouquets observés à…