Functor of points of a formal scheme

Also: small remark about McQuillan's variant