Grosse mise à jour de ./tools et changement des copyrights. Correction d'une variable non initialisée dans FORALL.