Fork of Vaucanson 1.x version