moyenne nationale pour la redevance de la pierre minière