recherchez un mot, comme turnt :

non-interference n'a pas de définition.
Pouvez-vous lui en donner une ?