Un nœud est une sous-variété (différentiable ou PL) de la sphère S$_3$ qui est difféomorphe au cercle. Deux nœuds k et k' ont même type s'il existe un homéomorphisme h de S$_3$ sur S$_3$ tel que h(k') = k . C.McA. Gordon et J. Luecke ont démontré récemment que deux nœuds k et k' dont les complémentaires S$_3$ - k et S$_3$ - k' sont homéomorphes ont même type. Ce théorème permet de démontrer que, pour des noeuds indécomposables, si les groupes fondamentaux $\pi _1$(S$_3$ - k) et $\pi _1$(S$_3$ - k') sont isomorphes, les complémentaires S$_3$ - k et S$_3$ - k' sont homéomorphes (C. D. Feustel et W. Whitten).