Un graphe fini est un complexe cellulaire fini de dimension 1,
considéré à homéomorphisme près. Pour n>1, un n-graphe est un graphe
fini avec ses sommets de degré <=n.
Un n-graphe spatial est un sous-ensemble G\subset R3, homéomorphe à un
n-graphe. Un entrelacs non-orienté est un 2-graphe spatial.
Une isotopie ambiante entre deux graphes spatiaux G,H est une famille
continue de homéomorphismes f_t:R3\to R3, t\in [0,1], telle que f_0=id
et f_1(G)=H.
Si à chaque moment d'une isotopie f_t un voisinage de chaque sommet du
graphe f_t(G) se trouve dans un plan (inconstant), alors cette
isotopie f_t s'appelle rigide. Autrement cette isotopie f_t s'appelle
non-rigide.
Nous construisons deux séries de semi-groupes à présentation finie
RSG_n et NSG_n.
Le centre de RSG_n code tous les n-graphes spatiaux à isotopie rigide
près.
Le centre de NSG_n code tous les n-graphes spatiaux à isotopie
non-rigide près.
Nous construisons ce codage à l'aide des plongements de graphes dans
le produit T\times R, où T est le cône sur trois points (plongements
sur trois pages).