Nous donnons une nouvelle preuve — n'utilisant pas la résolution des singularités — d'une formule de Denef et du second auteur exprimant le nombre de Lefschetz des itérés de la monodromie d'une fonction sur une variété algébrique complexe en fonction de la caractéristique d'Euler d'un espace d'arcs tronqués. Notre preuve utilise la cohomologie $\ell $-adique des espaces non-archimédiens, l'intégration motivique, ainsi que la formule des points fixes de Lefschetz pour les automorphismes d'ordre fini. Nous considérons également une généralisation due à Nicaise et Sebag et la fin de l'article est consacrée aux relations avec l'invariant de Serre motivique et la fibre de Milnor motivique.