Witten Non Abelian Localization for Equivariant K-Theory, and the $[Q,R]=0$ Theorem | lit.salon