[Annonce] [Vaucanson] Disponibilité de la version 0.7.1.