Longueur d'un côté de l'angle droit