Pompe à mousse et pompe de dragage