La cohomologie des espaces de Lubin-Tate est libre

The principal result of this work is the freeness in the $ overline{mathbb Z}_l$-cohomology of the Lubin-Tate tower. The strategy is of global nature and relies on studying the filtration of stratification of the perverse sheaf of vanishing cycles of some Shimura varieties of Kottwitz-Harris-Taylor types, whose graduates can be explicited as some intermediate extension of some local system constructed in the book of Harris andTaylor. The crucial point relies on the study of the difference between such extension for the two classical $t$-structures $p$ and $p+$. The main ingredients use the theory of derivative for representations of the mirabolic group.