L'objectif est de montrer que les groupes $\mathrm{PSL}_2(\mathbb{C})$ et $\mathrm{SO}_3(\mathbb{C})$ sont isomorphes. On aura besoin pour cela tantôt d'algèbre (action par conjugaison, classification des formes quadratiques sur $\mathbb{C}$) et tantôt de l'analyse (inversion locale sur des sous-variétés, espaces tangents...).