théorème des facteurs invariants