https://1library.org/document/z3d5mxme-rotations-mazur-groupes-transitivit-espaces-banach-rosendal-partie.html