Théorème de la bissectrice intérieure dans un triangle