Analysis of the Vaucanson project

From LRDE

Abstract

FIXME