17 morts, dont 9 mineurs, et 52 blessés