décohéreur

== Français == === Étymologie === (Siècle à préciser) Dérivé de décohérer, avec le suffixe -eur. === Nom commun === décohéreur \de.kɔ.e.ʁœʁ\ masculin Petit marteau qui frappe le tube à limaille pour interrompre la cohésion des morceaux de limaille. Le poste récepteur, installé à 20 mètres de là, comporte un tube à limaille avec décohéreur. — (Le génie civil: Volume 111, 1937) ==== Traductions ====