diff --git a/Tools/fonctions.c b/Tools/fonctions.c
index 1693300..b8c042a 100644
--- a/Tools/fonctions.c
+++ b/Tools/fonctions.c
@@ -410,7 +410,7 @@ int	set_new_seed(int k)
 char		*ptr;
 long		seed;
 
-if (k)	fprintf(stderr, "%s: k %d\n", __func__, k);
+/* if (k)	fprintf(stderr, "%s: k %d\n", __func__, k); */
 
 if (NULL==(ptr=getenv("FIXED_SEED"))) {
 	/* no fixed seed in context, doing semi-random */