Polyommatus eros, Ochsenheimer (1808)