: Lasiommata petropolitana.