Calculer un côté de l'angle droit à partir du cosinus