Le Boulonnage des roches en souterrain — André Hugon, André Costes