Generated on Mon Nov 17 14:57:26 2008 for Vaucanson by  doxygen 1.5.6