Propose une liste de thématiques et mots clés, du plus général au plus spécifique, correspondant aux motivations suivantes

Mais attendu, en premier lieu, qu'après avoir constaté, par motifs propres et adoptés, qu'à partir du mois de novembre 2010, des discussions avaient débuté entre les sociétés BIT et RBI, se traduisant par de nombreux échanges techniques, des rencontres, des démonstrations et des tests préparatoires, et que le logiciel BIT-Estim avait été installé le 27 mai 2011 avec une session de formation par la société BIT sur les ordinateurs d'opérateurs de la société RBI qui avaient commencé à traiter des dossiers à titre d'essais, l'arrêt relève que la date du contrat est postérieure à la date de livraison alléguée par la société BIT, que le contrat prévoit une livraison du progiciel à la date impérative du 31 juillet 2011 et que le bon de livraison du logiciel versé aux débats et daté du 26 juillet 2011 porte sur la version DPM 07 du progiciel objet du contrat ; qu'il retient, par une interprétation, exclusive de dénaturation, des termes du contrat, que leur ambiguïté rendait nécessaire, que celui-ci portait sur cette version du progiciel ; qu'en l'état de ces constatations et appréciations, rendant inopérantes les recherches invoquées par les deuxième et quatrième branches, la cour d'appel a légalement justifié sa décision ;

Attendu, en deuxième lieu, que l'arrêt relève que les dysfonctionnements du progiciel DPM 07 reprochés à la société BIT sont établis par les courriels produits à partir du 28 juillet 2011, corroborés par l'absence de procès-verbal de recette définitive et par la livraison de nouvelles et nombreuses versions du progiciel ; qu'il retient que ces multiples difficultés d'utilisation, qui ont duré huit mois et ne résultent pas d'une insuffisance de l'ordinateur de M. B..., constituent des "dysfonctionnements bloquants" au sens défini par le contrat, et qu'il ne peut donc être reproché à la société RBI de ne pas avoir commercialisé ce progiciel ; qu'en l'état de ces constatations et appréciations, la cour d'appel, qui a ainsi effectué la recherche invoquée par la sixième branche et qui n'était pas tenue de suivre les parties dans le détail de leur argumentation, a légalement justifié sa décision ;

Attendu, en troisième lieu, que si les contrats sur la preuve sont valables lorsqu'ils portent sur des droits dont les parties ont la libre disposition, ils ne peuvent établir au profit de l'une des parties une présomption irréfragable ; qu'ayant estimé que la société RBI rapportait la preuve que la société BIT ne lui avait pas livré un progiciel qui pouvait fonctionner et être commercialisé, ce dont il résulte qu'elle avait renversé la présomption de recette tacite résultant de l'absence de réserve respectant le formalisme contractuellement prévu, la cour d'appel n'avait pas à procéder à la recherche invoquée par la dixième branche ;

Attendu, en quatrième lieu, que la cour d'appel ayant prononcé la résolution judiciaire du contrat, le grief de la neuvième branche, qui critique un motif surabondant relatif au respect des conditions formelles prévues par la clause résolutoire, est inopérant ;

Et attendu, en dernier lieu, qu'ayant retenu, par motifs propres et adoptés, que le manquement de la société BIT à son obligation de délivrance était suffisamment grave pour que soit prononcée la résolution judiciaire du contrat, la cour d'appel n'était pas tenue de répondre aux conclusions invoquées par la dernière branche, devenues inopérantes ;

D'où il suit que le moyen, pour partie inopérant, n'est pas fondé pour le surplus ;

<start_hierarchy><start_level1>CONTRATS ET OBLIGATIONS CONVENTIONNELLES<end_level1><start_level2>Validité<end_level2><start_level3>Conditions<end_level3><start_level4>Droits dont les parties ont la libre disposition<end_level4><start_level5>Objet<end_level5><start_level6>Contrat sur la preuve<end_level6><start_level7>Présomption irréfragable au profit de l'une des parties<end_level7><start_level8>Création<end_level8><start_level9>Possibilité (non)<end_level9><end_hierarchy>