  We prove a Curve Selection Lemma valid in infinite-dimensional algebraic
geometry and apply it, together with a structure theorem of Grinberg-Kahzdan
and Drinfeld, to obtain a Curve Selection Lemma in arc spaces.
