update Eva options in main page

index.html

@@ -84,7 +84,7 @@ title: Frama-C
                     <div class="sidetext">
                       <div>
                         <p>When invoked with the command-line: </p>
-												<pre>frama-c -eva -slevel 10 first.c</pre>
+			<pre>frama-c -eva -eva-precision 1 first.c</pre>
 												<p>Frama-C
                            creates an analysis project for the file first.c.
                         </p>
@@ -92,7 +92,7 @@ title: Frama-C
 													the Eva plug-in to run and have its results ready
 													before the interface appears.
                         </p>
-                        <p>The <tt>-slevel</tt> option is one of several
+                        <p>The <tt>-eva-precision</tt> option is one of several
 													options that influence the precision of the Eva
 													plug-in. The actions of creating new analysis
 													projects and activating plug-ins can also be done