nouvelle version de StringSet