Pensionering af franska grufarbetare.