Casque de mineur (XIXème siècle)