Dioryctria pygmaeella Ragonot 1887