百科. “Grothendieck 景” [Grothendieck景]