The French Miners Strike of 1948: Some Scraps of history