Le poursuivi peut faire échec à la mainlevée en rendant vraisemblable sa libération (art. 82 al. 2 LP). Il peut se prévaloir de tous les moyens de droit civil qui infirment la reconnaissance de dette, en particulier la compensation au sens des art. 120 ss CO; il doit alors établir au degré de la vraisemblance le principe, l'exigibilité et le montant de la créance compensante (arrêts du Tribunal fédéral 5A_476/2015 du 25 août 2016 consid. 3.2, publié in SJ 2016 I 481; 5A_83/2011 du 2 septembre 2011 consid. 6.1 et les références).