Methodology of research in the fight against rockbursts at the Provence colliery