Efterspel till franska grufarbetarestrejken.