middagstiden och déjennerade i marin-prefektnren.