Barre à mine"

Outil en fer servant de levier ou de foret.

Cette expression doit son nom à l'usage premier de cet outil. En effet, il est initialement conçu pour creuser des trous afin d'y placer des mines. Les premières traces d'utilisation de barres à mine remontent au XVIIe siècle.