Psammotettix notatus var. diluta Ribaut, 1952