>>517
>エタールコホモロジーは斎藤さんの本にした方が良いよ
>グロタンのは具体例がないから辞書として使う

レスありがとうございます。
スキーム論の範疇で記述してくれてるなら
いくら膨大になっててもいいんですが（むしろその方がありがたい）
SAG4は見る限り、toposなどといったスキーム論と遊離した記述がしてあって、
しかもスキーム論の応用に必ずしも必要ないとなればちょっとしんどいです。

ですが、斉藤先生の本にしても、証明のかなりの部分が省かれてるだろうし
SGA4・1/2も見た目にはちょっと証明が簡潔過ぎる気がします

辞書としての使用に耐えるならいいのですけど、その箇所を読もうと思ったら
結局SGA4の最初の方から分かってないとダメだったりしないかなと。
SGA4・1/2のスタイルの方でも1000ページ書いてくれりゃ良かったのになぁと。