つーか、グロタンディーク　はすでに　前世紀の遺物。