Dianthus gratianopolitanus, Vill. (1789)