Elements of projective geometry