Metric geometry in homogeneous spaces of the unitary group of a $C^²$-algebra. Part 1: the quotient metric
définition of the quotient norm - basic properties - existence of minimal liftings: von Neumann algebras - finite dimensional cases - non-uniqueness results - counter-examples: the unitary Fredholm group