Grothendieck's Notes on Scheme as a Functor of Points.