On the space of null geodesics of a spacetime : the compact case, Engel geometry and retrievability