Mineurs grévistes de 1948: la longue lutte des descendants