Erodium petraeum Willd., Sp. Pl. 3: 626. 1800