Dans le tableau, une valeur de la variable C a été modifiée sur une ligne. De telles modifications sont automatiquement détectées.

Si la variable ne fait pas partie de la BN (ce qui n'est pas le cas ici), il n'est pas nécessaire de la vérifier.