#control invariante