Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
You are right completely right Ryan, I forgot the point at $\infty$, it is the unknot complement in $\mathbf{R}^3$ which is homotopy equivalent to a countable wedge of $S^2$. I'll remove my motivation.
Thanks Prof. Helgason for the short genealogy of the problem. By the way, I discovered a nice paper of Borel: Les fonctions automorphes de plusieurs variables complexes, where on p. 177 he mentions Cartan's result in the case n=3 and points out that the problem was still open (in 1952) for n=4.
It is possible though to save my idea about using unicity of $\rho_v^F$ by saying that is is the unique $F$-isometrie such that $s^2=1$, $s(w)=-w$ for all $w\in\mathbf{C}v:=L$ and such for all $w$ which are $F$-perp to $L$ one has $s(w)=w$.
Ok I was being stupid, one simply unfolds the equality $\rho_v^F(w_1)\cdot_G\rho_v^F(w_2)=w_1\cdot_G w_2$ in order to get the equality. I finally got it!