Grands fonds marins?: l'exploitation mini?re d?s juillet 2023 n'est pas ?cart