Restauration, anden betegnelse for restaurant.