Remark 5.27 After the first version of this paper was uploaded to arXiv, the authors found out that a similar computation had already appeared in the literature [1]} recently. The result, by Rizzi and Rossi, is dual to ours: it provides instead an explicit formula for the distance function to \(H\) .\(\triangle \)

