그로텐디크 군 - 다른 언어