Longueur d'un côté de l'angle droit (val. app.)