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