\def\Q{\mathbb{Q}} \def\D{\mathcal{D}} Le calcul des fonctions zêta de Weil d'une variété algébrique
sur un corps fini de caractéristique
permet d'obtenir des applications cryptographiques. Nous rappellerons leurs différentes interprétations cohomologiques via des méthodes
-adiques (
est un premier différent de
) ou
-adiques (i.e., on travaille sur
ou
). Ces fonctions se généralisent de multiples façons en considérant en plus de la variété
, un objet
(e.g.
-faisceaux constructibles,
-cristaux,
-isocristaux,
-complexes de
-modules arithmétiques) vivant sur
. On définit ainsi des fonctions
associées à
(la fonction
du coefficient «constant» redonne la fonction zeta de Weil). Afin d'obtenir une bonne cohomologie
-adique sur
, i.e., satisfaisant toutes les conditions requises pour devenir une «cohomologie de Weil», l'idée de Berthelot fut de construire une théorie arithmétique des
-modules. Nous donnerons une formule cohomologique des fonctions
associées aux
-complexes de
-modules arithmétiques. Nous expliquerons comment cela résulte ou s'inspire des précédentes interprétations cohomologiques.