Un espace métrique linéaire qui n'est pas un rétracte absolu
We construct the example of the title.
We construct the example of the title.
We prove that a metric space is an ANR if, and only if, every open subset of X has the homotopy type of a CW-complex.