révisions des benchmarks Synonym