diff --git a/doc/userman/user-analysis-scripts.tex b/doc/userman/user-analysis-scripts.tex
index 427a34976b00be8f3095d27c9aa2fa5f098df817..72dd39385cd61a7c3ff9878e39e5c147f6536ab7 100644
--- a/doc/userman/user-analysis-scripts.tex
+++ b/doc/userman/user-analysis-scripts.tex
@@ -312,6 +312,9 @@ different. It is available at\\
   described in a post from the \FramaC blog.
 \end{description}
 
+To use the \texttt{creduce.sh} script, you need to have the C-Reduce tool
+installed in your path or in environment variable \texttt{CREDUCE}.
+
 \section{Practical Examples: Open Source Case Studies}
 
 The {\em open-source-case-studies} Git repository (OSCS for short),