pompe de cale- pompe servant à vider un compartiment de navire de l'eau d'infiltration ou de ballast
Pumpe, mit der ein Schiffsraum von Leck- oder Ballastwasser leergepumpt wird
