Conjecture de Takeuti