Conjecture théorème de Pythagore