mise à jour de BasicClauseWatched (format 'inline-compatible')