Projective Geometry and Formal Geometry