Démonstration de la relation de Pythagore