, à savoir s'il est judiciairement constaté que la contre-créance existe
réellement. En d'autres termes, le droit du débiteur d'invoquer la compensation avec
une contre-prestation contestée est de nature purement formelle et demeure sans
incidence sur la question matérielle de l'extinction de la dette. Le créancier auquel on
oppose la compensation avec une contre-créance peut contester l'existence ou la
quotité de celle-ci. Il appartient alors au juge de trancher ces questions. Le débiteur
compensant supporte le fardeau de la preuve (TF 4A_140/2014 consid. 5.1 et
doctrine citée).