Je me réjouis en tout cas de cet amendement, qui sécurise les choses. Il eût probablement fallu prendre cette décision au moment du transfert de l’action sociale de l’ancien régime minier à l’Agence nationale de garantie des droits des mineurs. Cela n’a pas été fait et la juridiction administrative nous a rattrapés. Les choses vont donc être corrigées, et je ne peux évidemment que demander à notre assemblée d’approuver cet amendement.