Fixed a semantic error concerning ISO C99 Uninitialized Value Undefined Behaviour in Eva main manual

En lisant la doc d'Eva, page 19:

"Reading an initialized value is an undefined behavior according to the ISO C99 standard (and can even lead to security vulnerabilities)."

vs

"Reading an UNinitialized value is an undefined behavioraccording to the ISO C99 standard (and can even lead to security vulnerabilities)."

opam/opam

 opam-version: "2.0"
 name: "frama-c"
 synopsis: "Platform dedicated to the analysis of source code written in C"
-version: "20.0"
+version: "21.0-beta"
 maintainer: "francois.bobot@cea.fr"
 authors: [
   "Michele Alberti"
@@ -50,7 +50,7 @@ authors: [
 homepage: "http://frama-c.com/"
 license: "GNU Lesser General Public License version 2.1"
 dev-repo: "git+https://git.frama-c.com/pub/frama-c.git"
-doc: "http://frama-c.com/download/user-manual-20.0-Calcium.pdf"
+doc: "http://frama-c.com/download/user-manual-21.0-Scandium.pdf"
 bug-reports: "https://bts.frama-c.com/"
 tags: [
   "deductive"