こちらも随分前からうpされてるようでつ。
『Les six operations de Grothendieck et le formalisme des cycles
evanescents dans le monde motivique』
by Ayond Joseph(どういう人だろ?)

ttp://www.math.uiuc.edu/K-theory/0761/THESE.pdf
多少処理が重いかな。