Hydrocraqueur de distillats (DHC) de la raffinerie de Normandie (France)