Formule du théorème de Pythagore