conversion du graphe en graphe non-oriente, adaptation du creation du graphe a l'algorithme de reseau d'Isabelle, deboguage