let process_ex ex = match ex with
  | Extlib.NotYetImplemented msg ->
      Wp_parameters.warning "Not yet implemented in WP : %s@." msg
  | e -> Wp_parameters.warning "exception not catched !@.";
         raise e