Citation: 5A_49/2020 E. 4.1

4.1. Conformément à l'art. 81 al. 1 LP, le juge ordonne la mainlevée définitive de l'opposition, à moins que, notamment, le poursuivi ne prouve par titre que la dette a été éteinte postérieurement au jugement. Par extinction de la dette, la loi ne vise pas seulement le paiement, mais aussi toute autre cause de droit civil, en particulier la compensation (ATF 124 III 501 consid. 3b et les références citées). Un tel moyen ne peut toutefois être retenu que si la créance compensante résulte elle-même d'un titre exécutoire ou qu'elle est admise sans réserve par le poursuivant (ATF 136 III 624 consid. 4.2.1; 115 III 97 consid. 4 et les références; arrêt 5A_65/2019 du 26 novembre 2019 consid. 4.2). Par titre exécutoire prouvant l'extinction par compensation, on entend celui qui justifierait lui-même la mainlevée définitive ou à tout le moins la mainlevée provisoire (ATF 115 III 97 consid. 4; arrêt 5D_43/2019 du 24 mai 2019 consid. 5.2.1 et l'autre référence citée). Contrairement à ce qui vaut pour la mainlevée provisoire (art. 82 al. 2 LP), le poursuivi ne peut se contenter de rendre vraisemblable sa libération, mais doit en apporter la preuve stricte (ATF 136 III 624 consid. 4.2.1 et les références). Il appartient au poursuivi d'établir non seulement par titre la cause de l'extinction, mais aussi le montant exact à concurrence duquel la dette est éteinte. Il n'incombe ni au juge de la mainlevée ni au créancier d'établir cette somme (ATF 124 III 501 consid. 3b; arrêts 5A_719/2019 du 23 mars 2020 consid. 3.3.1; 5A_416/2019 du 11 octobre 2019 consid. 4.3).