non-interminateur