Une portion du buffet, lorsque le restaurant était à la carte.