Dredgers; Soil-shifting machines mechanically-driven with arrangements acting by a sucking or forcing effect, e.g. suction dredgers