%0 Journal Article %A R.W. Thomason %T Lefschetz-Riemann-Roch theorem and coherent trace formula. %J Inventiones mathematicae %D 1986 %P 515-544 %V 85 %I mathdoc %U http://geodesic.mathdoc.fr/item/IM_1986__85_143380/ %F IM_1986__85_143380