à $F(\Gamma)$. L’ensemble $X$ vérifie donc la propriété 3.

\[Rem:UniCommu2\] Soit $X$ un ensemble non enlacé. D’après la remarque \[Rem:UniCommu\], lorsque $M \setminus X$ n’est pas homéomorphe à l’anneau ou au tore, le relèvement $(X, \widehat F)$ donné par la propriété ${\textrm{(P2)}}$ est unique. C’est donc aussi le relèvement associé à l’isotopie restreinte $(X,I)$ donné par la propriété ${\textrm{(P1)}}$.

En revanche, dans le cas de l’anneau ou du tore, il n’y a pas unicité du relèvement $(X, \widehat F) \in {\mathcal}R$. Cependant, étant donné un relèvement $(X, \widehat F) \in {\mathcal}R$, on peut toujours trouver une isotopie restreinte $(X,I) \in {\mathcal}I$ tel que $(X, \widehat F)$ soit associé à $(X,I)$. En effet, le temps un d’une isotopie restreinte $(X,I)$ donnée par ${\textrm{(P1)}}$ diffère de $(X, \widehat F)$ d’un automorphisme de revêtement. Ce dernier est associé à une isotopie entre l’identité et elle-même réalisant la rotation correspondante de l’anneau ou du tore. En composant l’inverse de cette isotopie avec $(X,I)$, on obtient l’isotopie restreinte cherchée.

\[Qu:NEF\] Comme on l’a évoqué dans l’introduction, on peut définir une notion de non enlacement *a priori* plus forte que la précédente de la façon suivante. On dit que $X$ est *fortement non enlacé* s’il existe 