Théorème de Frobenius de 1877