Seleziona la professione con la quale confrontare 6.1.2.5.1 - Armatori di gallerie e pozzi