recherche d’invariants