Ecrasement
(
n.
) The operation performed with an ecraseur.