| DÉROCHEMENT n. m. XVe siècle, au sens de « démolition ». Dérivé de dérocher. TRAV. PUBL. Action d'enlever des rochers ; résultat de cette action. |
| DÉROCHEMENT n. m. XVe siècle, au sens de « démolition ». Dérivé de dérocher. TRAV. PUBL. Action d'enlever des rochers ; résultat de cette action. |