Quand ils eurent mangé suffisamment, ils allégèrent le navire en jetant le blé à la mer.