Density of repelling periodic points for cubic rational maps

We prove the repelling-density conjecture for cubic rational maps over $\mathbf C_p$: for every prime $p$, the classical Julia set is the closure of the classical repelling periodic points. By Bézivin's theorem, it suffices to prove that a nonempty classical Julia set contains a classical repelling