Pour conjecture th1 et2