Résumé: Je parlerai du théorème d’Agol de 2012 qui dit que les groupes hyperboliques cubiques sont virtuellement spéciaux.