globalement invariant