Eryngium aristulatum, Jeps. (1893)