de reference des logiciels de mines de charbon