La Formule des Traces Locale Tordue

Proves a twisted version of the local trace formula of Arthur over a local field. This formula is an equality between two expressions, one involving weighted orbital integrals, the other one involving weighted characters; and provides a symmetric form of the local trace formula as in Arthur's paper on Fourier Transform of Orbital integral and describes any twisted orbital integral.