Diprion à tête rouge du Pin gris