débitmètres à effet hall Synonym