グロタンディークって何した人なんですか？
初心者にもわかるように教えてください。