Sans Garantie
Les logiciels distribués sur ce serveur le sont sans aucune
garantie, y compris les garanties qui sont offertes pour les logiciels
commercialisés. Leur usage se fait aux risques et périls
des utilisateurs. En aucun cas, P. Cousot, l'École normale supérieure, le CNRS, l'INRIA ou les auteurs de ces logiciels ne pourront être tenus
pour responsables des dommages directs ou indirects d'aucune sorte
qui pourraient être causés par l'usage, la réutilisationr
ou les performances de ces logiciels ou de leurs versions modifirées.
Warrantly Disclaimer
All warranties with regard to the software distributed by this server
are disclaimed,
including all implied warranties of merchantability and fitness. In
no event shall P. Cousot, the École normale supérieure,
the CNRS, INRIA, or the authors of the software be liable for any special, indirect or
consequential damages or any damages whatsoever resulting from loss of
use, data or profits, whether in an action of contract, negligence or
other tortuous action, arising out of or in connection with the use, reuse or
performance of this software or its modified versions.