Somme des amplitudes des angles intérieurs d'un triangle