Grothendieck's_Tôhoku_paper loading ...