révisions des conjectures Synonym