Устаревшее название шахтера