droits d'intervention Synonym