https://123dok.net/document/yj79gvom-finitude-pour-les-representations-lisses-de-groupes-adiques.html