Use of a std::set

It suits more what we want now.
There's no change on performances