Extraction of gravel in quarries or by dredging