An interpreter for Vaucanson

From LRDE

Abstract

FIXME