algorithme de Trémaux