The peculiar dignity of men seen eating alone in restaurants on national holidays