====== Productions (libres ?) de l'INRIA ======
  * Le SeDRe : http://sedre.loria.fr/LogSci/index.html

  * http://gforge.inria.fr/