Les K-groupes d'un schéma éclaté et une formule d'intersection excédentaire. R.W. Thomason (1993) Inventiones mathematicae