intervention définie Synonym