Geodesic

Éléments de géométrie algébrique : IV. Étude locale des schémas et des morphismes de schémas, Troisième partie
p. 5-255