La pompe endommagée est partie à l'atelier portuaire pour être réparée.