pompe de cale- pompe qui maintient au sec la cale, c'est-à-dire la partie la plus basse du navire
diejenige Pumpe, die die Bilge, also den untersten Teil des Schiffes, trocken hält
