====== Invariante ======