Machines utilisées pour l'exploitation minière marine