The geodesic lines, or geodesics, of a surface are a generalization of the straight lines of the plane. Like the straight lines, they are endowed with several important properties distinguishing them from all other curves on the surface. Hence they may be defined in various ways […] as shortest lines, as frontal lines, and as straightest lines.