Formules de points fixes en cohomologie cohérente — Arnaud Beauville