règles de déduction Synonym