Le LRDE vous annonce la disponibilité de la version 0.7.2 de la bibliothèque de manipulation d'automates finis Vaucanson. http://vaucanson.lrde.epita.fr Cette version propose des correctifs afin de rendre la bibliothèque compatible avec les dernières versions des compilateurs GNU C++ et Intel C++. -- Louis-Noel Pouchet pouchet@lrde.epita.fr