std::string v1_name = names_map[v1];
names_map[v2] = "toto";