Quand ils eurent mangé suffisamment, ils allégèrent le navire en jetant le blé à la mer.
And when they had eaten enough, they lightened the ship, and cast out the wheat into the sea.