Cohomologie à support compact en géométrie p-adique

Dans cet exposé, je donnerai une définition des groupes de cohomologie proétale $p$-adique à support compact pour les variétés analytiques rigides et présenterai certaines propriétés qu'ils vérifient. Je m'intéresserai en particulier aux théorèmes de comparaison qu'il existe entre les cohomologies proétale et de de Rham à support compact.
L'exposé s'appuie sur divers travaux en commun avec Piotr Achinger, Pierre Colmez et Wieslawa Niziol.