S. Badaroux, Application de la géométrie au dessin linéaire et à l'arpentage… (1847)
“ DEUX ESPÈCES DE LIGNES. — On considère deux espèces de lignes : la ligne droite et la ligne courbe. 8. LIGNE DROITE. — La ligne droite est une ligne infinie sur laquelle prenant deux points à volonté, la portion de la ligne comprise entre ces deux points est le plus court chemin de l'un à l'autre (fig. 1") . — On pourrait la définir plus simplement : la ligne droite est le plus court chemin d'un point à un autre ; mais cette définition ne présente pas à l'esprit une ligne indéfinie. ”
