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