Talk:Grothendieck trace formula