diff --git a/gui.opam b/gui.opam
new file mode 100644
index 0000000000000000000000000000000000000000..6935db2b3ea3eb0b444edfa647bb6a40b3f367f3
--- /dev/null
+++ b/gui.opam
@@ -0,0 +1,21 @@
+opam-version: "2.0"
+synopsis: "A Graphical User Interface for XXX"
+maintainer: "XXX"
+description: """
+sasa is a *Self-stabilizing Algorithms SimulAtor*. XXX
+"""
+authors: [ "XXX" ]
+license: "CeCILL"
+homepage: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa"
+dev-repo: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa.git"
+bug-reports: "https://gricad-gitlab.univ-grenoble-alpes.fr/verimag/synchrone/sasa/issues"
+build:  [make "build"]
+install:  [make "install"]
+depends: [
+  "lablgtk3"
+  "sasa"
+]
+depexts: [
+  ["graphviz" "emacs" "gnuplot" "zathura"]
+]
+post-messages: ["The last version can be obtained via (opam repo add) http://www-verimag.imag.fr/DIST-TOOLS/SYNCHRONE/opam-repository/ "]
diff --git a/tools/daemongui/dune b/tools/daemongui/dune
index a18ca4465f6436fde7057fcb0c164fa679c25a6b..1a63067d7fe2077a1ef81c8121798a15ff72d59d 100644
--- a/tools/daemongui/dune
+++ b/tools/daemongui/dune
@@ -9,6 +9,6 @@
  (section bin)
  (package gui)
  (files
-  (daemongui.exe as daemongui)
+  (gui.exe as daemongui)
  )
 )
diff --git a/tools/daemongui/gui.ml b/tools/daemongui/gui.ml
index 73469d9074c9f86ab69aa8b759424b114929019c..191f82481e90cfad3955ba0d86ef263cb089b908 100644
--- a/tools/daemongui/gui.ml
+++ b/tools/daemongui/gui.ml
@@ -1,3 +1,4 @@
+
 open GMain
 open GdkKeysyms
 
@@ -92,7 +93,7 @@ let rdbg_count_nodes (): int =
 Extrait le nom et l'état des noeuds
 @return liste de tuples (nom, etat, activable)
 *)
-let rec rdbg_nodes_info (): (string * string * bool) list =
+let  rdbg_nodes_info (): (string * string * bool) list =
   (* récupère une liste qui dit si chaque état de chaque noeud est activable/pas activable *)
 
   let cmd = " String.concat \";\" (List.map (fun (n,v) -> Printf.sprintf \"%s=%s\" (String.sub n 5 (String.length n - 5)) (val_to_string string_of_float v)) (List.filter (fun (n,v) -> String.length n > 5 && String.sub n 0 5 = \"Enab_\") !e.data));;" in