Théorie des nœuds : première preuve d’un algorithme de dénouage rapide