Title: Formule de Lefschetz-- Verdier