Describir: Oriented projective geometry :