push before a lot of modifications : change vector to set to avoid duplication