Merge branch 'feature/basile/eacsl-manual-author' into 'master'

[eacsl] Update bibtex entry for E-ACSL User Manual

See merge request frama-c/frama-c!3059

doc/userman/userman.bib

@@ -105,9 +105,7 @@ note={Extended version of \cite{sefm12}},
 }
 
 @manual{eacsl,
-  title = {Frama-C's E-ACSL Plug-in},
-  author = {Julien Signoles},
-  year = {2015},
-  month = feb,
-  note = {\url{http://frama-c.com/eacsl.html}},
+  title  = {Frama-C's E-ACSL Plug-in},
+  author = {Julien Signoles and Basile Desloges and Kostyantyn Vorobyov},
+  note   = {\url{https://frama-c.com/fc-plugins/e-acsl.html}},
 }

src/plugins/e-acsl/doc/refman/biblio.bib

@@ -57,7 +57,7 @@ Virgile Prevosto and Armand Puccetti and Julien Signoles and Boris Yakobowski},
 
 @manual{eacsl-plugin,
   title  = {Frama-C's E-ACSL Plug-in},
-  author = {Julien Signoles and Kostyantyn Vorobyov},
+  author = {Julien Signoles and Basile Desloges and Kostyantyn Vorobyov},
   note   = {\url{https://frama-c.com/fc-plugins/e-acsl.html}},
 }