de référence des logiciels de mines de charbon