Ch. Étienne, Nouveau manuel complet du terrassier et de l'entrepreneur de terrassements… (1910)
“ Un premier coup de mine dégagera la roche sur une ou deux faces, de façon à faciliter le travail ultérieur. Pour le creusement des puits et galeries, dans les roches difficiles à attaquer par les outils, on procédera quelquefois en commençant par de petits coups de mine de 25 centimètres de profondeur qui dégageront et permettront d'en placer de plus forts, autour de la cavité ainsi obtenue qui joue le même rôle que le hâvage. ”
