Un casque de mineur doté d’un numéro d’identification personnelle sur l’un des côtés.