les noeuds marins    demi-noeud
	le demi-noeud : noeud d'arrêt.