グロタンディークはブルバキに操られたパワー系知障だったのではないか。