division des mines de grès