Trace formula for Witt vector rings

On commence par généraliser les séries exponentielles de Pulita. Ensuite, on se sert de cette généralisation pour établir un analogue de la formule de trace de Dwork sur des anneaux de Witt.