On the points realizing the distance to a definable set

We prove a definable/subanalytic version of a useful lemma, presumably due to John Nash, concerning the points realizing the Euclidean distance to an analytic submanifold of Rn. We present a parameter version of the main result and we discuss the properties of the multifunction obtained.