Inde: les mineurs mettent fin à leur grève