Exploration, préservation et exploitation des ressources minérales de l’océan profond : où en sommes-nous ? (Version intégrée)