Les décisions des autorités administratives suisses sont assimilées aux jugements rendus par un tribunal (art. 80 al. 2 LP). Le juge de la mainlevée définitive examine seulement la force probante du titre produit par le créancier, sa nature formelle, non la validité de la créance (arrêt du Tribunal fédéral 5A_427/2011 du 10 octobre 2011 consid. 2). Dans la procédure de mainlevée définitive, le juge ne statue que sur la base des pièces produites, en l'occurrence un jugement exécutoire ou un titre assimilé à un tel jugement; il n'a ni à revoir ni à interpréter le titre de mainlevée qui est produit (ATF 124 III 501 consid, 3a; 113 III 6 consid. 1b).