Projective Geometry: A Short Introduction - Inria