L’Encyclopédie/1re édition/PERCEMENT
PERCEMENT, s. m. (Archit.) nom général qu’on donne à toute ouverture faite après coup pour la baie d’une porte ou d’une croisée, ou pour quelque autre sujet. Les percemens ne doivent pas se faire dans un mur mitoyen sans y appeller les voisins qui y sont intéressés. Sur quoi on doit consulter les articles 203 & 204 de la coutume de Paris. Voyez aussi Mur mitoyen. (D. J.)
Percement, (Hist. nat. Minéral.) c’est ainsi qu’on nomme dans les mines métalliques une galerie qui part du centre d’une montagne ou d’une mine que l’on exploite, & qui de-là vase terminer en pente à la surface de la terre ou dans un vallon. Il sert à écouler les eaux, & l’on a recours à ce moyen, qui est souvent fort couteux lorsque les eaux sont si abondantes que les pompes ordinaires ne peuvent point suffire à les épuiser. L’on ne peut point toujours former un percement, cela n’est pratiquable que lorsque la mine qu’on exploite est au-dessus du niveau des plaines ou d’une riviere. Voyez l’article Mines.