[refman] rewrite foreword

src/plugins/e-acsl/doc/refman/main.tex

@@ -70,21 +70,20 @@ CEA LIST, Software Reliability Laboratory\\
 
 \chapter*{Foreword}
 
-This is a preliminary design of the \eacsl language, a deliverable of
-the task 3.4 of the FUI-9 project Hi-Lite
-(\url{http://www.open-do.org/projects/hi-lite}).
-
-This is the version \version{} of \eacsl design based on \acsl version
-\acslversion~\cite{acsl}. Several features may still evolve in the future.
+This document describes version \version of the \eacsl specification
+language. It is based on the \acsl specification language~\cite{acsl}. Features
+of both languages may still evolve in the future, even if we do our best to
+preserve backward compatibility.
 
 \section*{Acknowledgements}
 
 We gratefully thank all the people who contributed to this document:
 Patrick Baudin,
 Bernard Botella,
-Loc Correnson,
+Lo\"ic Correnson,
 Pascal Cuoq,
 Johannes Kanig,
+Fonenantsoa Maurica,
 David Mentr\'e,
 Benjamin Monate,
 Yannick Moy and