Rigid cohomology and $p$-adic point counting

Je presente quelques algorithmes pour calculer la fonction zeta d'une variete algebrique sur un corps fini qui sont bases sur la cohomologie rigide. Deux methodes distinctes sont elaborees a l'aide d'un exemple.