Formule babylonienne de l'hypothénuse