Si vous n'�tes pas un d�veloppeur de Value, vous avez
re�u ce document par erreur, et vous pouvez l'ignorer.

Conventions s'appliquant dans la documentation de Value :

* Le "plug-in d'analyse de valeur" s'appelle "the value analysis plug-in",
  "the plug-in", "the value analysis" ou "the analysis". 
  Les deux derniers sont � utiliser quand le sujet de l'action
  peut �tre une analyse particuli�re d'un code particulier.
  Utiliser "Frama-C" si et seulement si Frama-C est
  l'interface visible pour l'action dont il est question, par exemple :

Frama-C displays a normalized version of the analyzed code source.
The value analysis plug-in allows the user to interactively select
an expression in the
code and observe an over-approximation of the set of the possible
values taken by this expression at run-time. Frama-C also provides
synthetic information on the behavior of analyzed functions:
inputs, outputs, and alarms.
  
* La personne qui utilise Value s'appelle "l'utilisateur" ;
la personne qui a �crit l'application s'appelle "programmeur",
mais on n'a pas souvent de raison de parler d'elle.

* Sauf cas particulier, si un exemple contient le point d'entr�e,
alors ce point d'entr�e s'appelle \verb|main|. Un exemple peut
aussi ne pas contenir de fonction \verb|main|, ce qui indique
qu'il ne s'agit que d'une partie d'un projet plus grand.

* Le shell n'est pas csh. Le shell peut �tre bash, zsh, le prompt
peut avoir �t� customis� par l'utilisateur, ou l'utilisateur peut
�tre sous Windows et avoir un prompt de la forme "C:\>". Donc,
on n'�crit pas de prompt pr�c�dant les commandes � taper au
prompt, sinon l'utilisateur il croit que �a fait partie de la commande.
Le style "verbatim" fait partie des �l�ments qui aident � reconna�tre
les commandes qui peuvent �tre tapp�es, et puis on peut/pourra aussi
tout faire dans l'interface graphique.