Franska grufarbetarne och storstrejken.