Formule d'additivité de l'inertie de Haynsworth