conjecture et preuve