"ok", nouveau signe de ponctuation