Conditions invariantes pour un systéme, du type conditions de Levi