* src/taalgos/tgba2ta.hh, src/taalgos/tgba2ta.cc: optimization of the TGTA automaton obtained from a TGBA.