3.1.1 Aux termes de l'art. 80 al. 1 LP, le créancier qui est au bénéfice d'un
jugement exécutoire peut requérir du juge la mainlevée définitive de l'opposition.
Le contentieux de la mainlevée n'a pas pour but de constater la réalité de la
créance en poursuite, mais l'existence d'un titre exécutoire, le juge de la mainlevée
ne se prononçant que sur la force probante du titre produit (ATF 143 III 564
consid. 4.1; 132 III 140 consid. 4.1.1, avec les références).