http://mathoverflow.net/questions/54630/a-presentation-of-a-scheme-as-a-limit-of-smooth-ones-over-finitely-generated-base
nLab page on Popescu theorem