Manualità  e macchine nei grandi trafori, dall'Ottocento ad oggi