Talk:Grothendieck's Tôhoku paper