Lucanus tetraodon ( non cervus ! )