$p$-adic cohomology of the Lubin-Tate tower

We prove a finiteness result on the $p$-adic cohomology of the Lubin-Tate tower, of potential interest in the $p$-adic Langlands program.