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