Agraulos (Agraulos) ceticephala (BARRANDE, 1846)