[Doc] manuals: update Foreword and Acknowledgements sections

doc/MakeLaTeXModern

 FRAMAC_DOC_ROOT_DIR?=..
-FRAMAC_MODERN=frama-c-book.cls frama-c-cover.pdf frama-c-left.pdf frama-c-right.pdf frama-c-affiliation.tex
+FRAMAC_MODERN=frama-c-book.cls frama-c-cover.pdf frama-c-left.pdf frama-c-right.pdf frama-c-affiliation.tex eu-flag.jpg anr-logo.png
 
 frama-c-book.cls: $(FRAMAC_DOC_ROOT_DIR)/frama-c-book.cls
 	@rm -f $@
@@ -30,3 +30,15 @@ frama-c-affiliation.tex: $(FRAMAC_DOC_ROOT_DIR)/frama-c-affiliation.tex
 	@cp $< .
 	@chmod a-w $@
 	@echo "import $<"
+
+eu-flag.jpg: $(FRAMAC_DOC_ROOT_DIR)/eu-flag.jpg
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"
+
+anr-logo.png: $(FRAMAC_DOC_ROOT_DIR)/anr-logo.png
+	@rm -f $@
+	@cp $< .
+	@chmod a-w $@
+	@echo "import $<"

doc/developer/.gitignore

+/anr-logo.png
 /developer.pdf
+/eu-flag.jpg
 /frama-c-book.cls
 /frama-c-cover.pdf
 /frama-c-left.pdf
@@ -8,12 +10,6 @@
 /tutorial/viewcfg/generated/
 /tutorial/hello/generated/
 /examples/generated/
-developer.pdf
-frama-c-book.cls
-frama-c-cover.pdf
-frama-c-left.pdf
-frama-c-right.pdf
-hello_world/
 *.idx
 *.out
 developer.fdb_latexmk

doc/frama-c-book.cls

@@ -128,6 +128,40 @@ prefix=framacbook@,
 \medskip
 \ifusecc\doclicenseThis\else\fi
 }
+
+% \acknowledge{<flag image file>}{<text inside box>}
+\newcommand{\acknowledge}[2]{
+  \fbox{
+    \begin{minipage}{0.97\textwidth}
+      \begin{minipage}{1.2cm}
+        \includegraphics[width=\linewidth]{#1}
+      \end{minipage}
+      \begin{minipage}{0.90\textwidth}
+        This project has received funding from #2.
+      \end{minipage}
+    \end{minipage}
+  }
+}
+
+\newcommand{\acknowledgeANR}{
+  \acknowledge{anr-logo.png}{the French ANR projects
+    CAT~(ANR-05-RNTL-00301) and U3CAT~(08-SEGI-021-01)
+  }
+}
+
+\newcommand{\acknowledgeEU}{
+  \acknowledge{eu-flag.jpg}{the
+    European Union's Seventh Framework Programme (FP7/2007-2013)
+    under grant agreement N$^\circ$\,317753 (\mbox{STANCE}).\\
+    It has also received funding from the Horizon 2020 research
+    and innovation programme, under grant agreements
+    N$^\circ$\,731453~(\mbox{VESSEDIA}),
+    N$^\circ$\,824231~(\mbox{DECODER}),
+    N$^\circ$\,830892~(\mbox{SPARTA}),
+    and N$^\circ$\,883242~(\mbox{ENSURESEC})
+  }
+}
+
 % --------------------------------------------------------------------------
 % ---  Sectionning                                                       ---
 % --------------------------------------------------------------------------

doc/metrics/.gitignore

+/anr-logo.png
+/eu-flag.jpg
 /frama-c-book.cls
 /frama-c-cover.pdf
 /frama-c-left.pdf

doc/pdg/.gitignore

+anr-logo.png
 biblio.bib
+eu-flag.jpg
 frama-c-book.cls
 frama-c-cover.pdf
 frama-c-left.pdf

doc/release/.gitignore

+/anr-logo.png
+/eu-flag.jpg
 /frama-c-book.cls
 /frama-c-cover.pdf
 /frama-c-left.pdf

doc/rte/.gitignore

+/anr-logo.png
+/eu-flag.jpg
 /frama-c-book.cls
 /frama-c-cover.pdf
 /frama-c-left.pdf

doc/slicing/.gitignore

+anr-logo.png
 biblio.bib
+eu-flag.jpg
 frama-c-book.cls
 frama-c-cover.pdf
 frama-c-left.pdf

doc/userman/.gitignore

+anr-logo.png
+eu-flag.jpg
 frama-c-book.cls
 frama-c-cover.pdf
 frama-c-left.pdf

doc/userman/macros.tex

 \newcommand{\framacversion}%
-           {\input{../../VERSION} (\input{../../VERSION_CODENAME}\unskip)}
+           {\input{../../VERSION}\unskip{} (\input{../../VERSION_CODENAME}\unskip)}
 \newcommand{\nextframacversion}{Frama-C+dev}
 
 \newcommand{\tool}[1]{\textsf{#1}\xspace}

doc/userman/userman.tex

@@ -30,9 +30,6 @@
 \vfill
 \begin{flushleft}
   \textcopyright 2009-2021 CEA LIST
-
-This work has been supported by the ANR project CAT (ANR-05-RNTL-00301) and by
-the ANR project U3CAT (08-SEGI-021-01).
 \end{flushleft}
 \end{titlepage}
 
@@ -45,15 +42,18 @@ the ANR project U3CAT (08-SEGI-021-01).
 \addcontentsline{toc}{chapter}{Foreword}
 
 This is the user manual of \FramaC\footnote{\url{http://frama-c.com}}.  The
-content of this document corresponds to the version \framacversion (\today) of
-\FramaC. However the development of \FramaC is still ongoing: features
-described here may still evolve in the future.
+content of this document corresponds to the version \framacversion, on \today, of
+\FramaC.
 
 \section*{Acknowledgements}
 
 We gratefully thank all the people who contributed to this document: Patrick
 Baudin, Mickaël Delahaye, Philippe Hermann, Benjamin Monate and Dillon Pariente.
 
+\acknowledgeANR
+
+\acknowledgeEU
+
 %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
 
 \include{user-intro}

doc/value/.gitignore

+/anr-logo.png
+/eu-flag.jpg
 /frama-c-book.cls
 /frama-c-cover.pdf
 /frama-c-left.pdf