Théorème de Biquadraticité