Pompe de cale manuelle à membrane, pompe de cale manuelle pour bateaux rapides marins, bateau