Nous partageons cet objectif. Le Gouvernement souhaite augmenter le produit de la redevance progressive des mines ainsi que celle des redevances départementales et communales des mines. Nous considérons toutefois que cette question relève d'une loi de finances, et ne peut donc pas être traitée ici.
Je demande donc le retrait de l'amendement.