modifie flat_set.cc in flat_set.hxx