An interpreter for Vaucanson

From LRDE

Résumé

FIXME