Doc, only a small contribution:

From what I have been able to read (and my trusty Larousse), dérocher refers to
cleaning/removing rust. It can also mean to clear rocks from a canal, but not
in this context I would think. JMTC.

JC


"...it is always advisable to perceive clearly our ignorance." Charles Darwin