グロタンディーク、亡くなったと言うよりもスキームか何かの概念に進化したのでは