gérer la mine de pierres quelles procédures doivent être appliquées