Nous donnons une preuve élémentaire d'une formule reliant la somme des angles d'un triangle sphérique et son aire. Cette formule due à Girard est un avatar simple de la formule de Gauss-Bonnet.