On the differentiability of a distance function
scientific article