Nouvelles formules pour les fonctions trigonométriques des angles d'un quadrilatère — Franz Redl