La dialectique entre contrats d’Etat et développement durable existe, malgré une antinomie apparente. Elle s’appuie sur une interaction particulière qui s’est construite depuis l’origine, à travers les contrats d’Etat, instruments conventionnels singuliers et autour des nécessités politiques et économiques de l’époque, avec en toile de fond l’impératif de développement.Face aux évolutions sociales successives et l’absence d’arsenal juridique adapté, les contratsd’Etat se sont développés de façon spécifique entre dépendance, indépendance,interdépendance, hétéronomie et autonomie. En droit international des affaires, c’estprécisément à partir du contrat conçu comme un instrument normatif singulier et à travers sesinteractions avec le contexte extracontractuel au sein duquel il est amené à opérer quel’existence d’un droit du développement durable en matière de contrats d’Etat doit êtrefondée. Cela nécessite une autre vision du droit, sans cesse renouvelée et davantageappropriée aux réalités de notre siècle. / Common discussion points between sustainable development and State contracts exist, despite many visible contradictions. They are based on a particular interaction, built up from the beginning through State contracts, which are highly specific agreements and around political and economic necessities of the time, with the notion of development merely as a requirement in the background. Confronted with successive social changes and the lack of an appropriate judicial framework, State contracts developed in a particular way between dependence, independence, interdependence, heteronomy and autonomy. In international business law, the existence of a sustainable development law related to State contracts must be based precisely on contracts, seen as instruments able to set norms, and must benefit from contracts’interactions with a non-contractual environment. That requires another vision of law, constantly renewed and more adapted to current realities.

Hierdie studie is toegespits op die samestelling van 'n seksopvoedingsprogram vir skole in Suid-Afrika. Snelle verandering binne sosiale strukture in die samelewing en die blootstelling van die jeug aan kultuur- en godsdiensvreemde seksopvoeding. idees noodsaak die dringendheid van Seksopvoeding word vanuit verskillende waardestelsels aangebied. Die gevolgtrekking is dat beproefde waardes 'n integrale deel van die seksopvoedingsprogram moet uitmaak. Die kind moet begelei word tot seksuele volwassenheid deur gebruik te maak van opvoedkundig-verantwoordbare beginsels en metodes sodat die kind effektief weerstand kan bied teen bederwende invloede uit die samelewing. Die ouers is die aangewese bran van seksopvoeding aan hulle kinders maar weens hulle onbetrokkenheid neem die skoal die verantwoordelikheid op hom. Dit is egter belangrik dat die skoal die ouers as vennote aanvaar. Ten slotte word riglyne verskaf vir die samestelling van 'n seksopvoedingsprogram. / This dissertation considers the composition of a sex education program for schools in South Africa. Rapidly changing social structure within society and the exposure of the youth to foreign cultural and religious ideas necessitate the urgency of sex education. Sex education is presented from different value systems. The conclusion reached is that values must be an integral part of the sex education program. The child must be accompanied to responsible sexual adulthood by means of educationally accountable principles in order that he/she may be able to withstand the demoralizing influences from society effectively. The parents are the appropriate sex educators of their children but, due to their being unconcerned the school accepted this responsibility. It is however of importance that the school accepts the parents as partners. In conclusion guidelines are presented for the compiling of a sex education program. / Psychology of Education / M. Ed. (Voorligting)

Comment les locuteurs kabyles vivent-ils la diversité linguistique de leur région ? Dans quellemesure les discours épilinguistiques (discours proférés sur les langues) de nos informateursproduisent-ils une hiérarchisation des langues et des espaces dans le contexte kabyle ? Quelleattitude adoptent-ils et comment réagissent-ils face à cette hiérarchisation sociolinguistique età la relation langue/dominance dans leur imaginaire sociolinguistique ? À quel point lesdiscours épilinguistiques de nos informateurs énoncent-ils le statut et la légitimité d’emploi dukabyle comparativement aux autres systèmes linguistiques (il s’agit dans ce cas de l’arabe etdu français) posés en complémentarité ou en concurrence ? Nous verrons en quoi les discoursépilinguistiques de nos informateurs leur permettent de poser et de décliner leur identitésociale par une appropriation ou un rejet de ce qui est dit sur leur langue et leur territoire.Nous entendons par territoire non seulement la Kabylie en tant qu’entité géographique maisaussi en tant qu’espace linguistique et social. En effet, nous verrons comment se produisentl'appropriation symbolique de l'espace et le marquage sociolinguistique du territoire kabylepar le biais des représentations de nos informateurs. L’objectif de notre travail est de menerune réflexion théorique sur la question de l’articulation entre l’identité, le langage, l'espace etles représentations sociolinguistiques. / How do Kabyle speakers live their region’s linguistic diversity? To what extent do ourinformants’ epilinguistic discourses made about languages produce a hierarchy of bothlanguage and geographical space in the Kabyle context? What attitude do they adopt and howdo they react to this sociolinguistic prioritization and to the matter of language Vs dominancein their sociolinguistic imagination? To what extent do the informants’ epilinguisticdiscourses portray the status and the legitimacy of the use of Kabyle language compared toother linguistic systems (in that case Arabic and French languages), put in a complimentary orin a competing relationship? In fact, we will demonstrate how the epilinguistic discourses ofour informants allow them to state and convey their social identity through appropriation orrejection of what is said about their language and territory. By territory, we mean not onlyKabylie as a geographical entity but as a linguistic and social space as well. Indeed, we shallexpose how both the symbolic appropriation of space and the Kabyle sociolinguistic markingof territory are produced through the representations of our informants. The purpose of ourwork is to conduct a theoretical reflection on the relationship between identity, language,space and sociolinguistic representations.

Parce qu’elle est une clé de compréhension du déclenchement de la responsabilité civile, l’anormalité est une notion centrale de l’institution. Elle s’identifie d’abord à travers le dommage, qui est une anomalie, une déviation par rapport au cours normal des choses. L’anormalité est ici intrinsèque au dommage et se définit comme le déséquilibre patrimonial et extrapatrimonial subi par la victime. La notion se découvre ensuite à l’extérieur du dommage, elle caractérise ce qu’il faut en plus du dommage pour engager une responsabilité. Cette anormalité, dite extrinsèque au dommage, tient son origine dans la faute civile : est en faute l’individu ayant adopté un comportement anormal.Classiquement cantonnée à l’élément objectif de la faute, avant qu’elle n’en épuise entièrement la définition, l’évolution montre que l’anormalité s’est diversifiée pour devenir un critère aux multiples visages. La notion se rencontre ainsi, par exemple, dans la responsabilité du fait des choses (anormalité de la chose), dans la responsabilité du fait d’autrui (anormalité du fait d’autrui) ou encore en matière de trouble du voisinage. De manière plus latente, l’anormalité peut également être mobilisée pour expliquer le risque sélectionné par le législateur pour faire l’objet d’un régime spécial (ex : accidents de la circulation, fait des produits défectueux). En définitive, l’anormalité est un critère juridique de discrimination qui peut, pour faire naître une obligation de réparation, être associé au fait générateur, au dommage ou au risque. Cette vision est forte de potentialités ; elle permet une présentation renouvelée de la matière autour des trois fondements que sont l’anormalité du fait générateur, l’anormalité du dommage et l’anormalité du risque. En délimitant le périmètre de la responsabilité civile, cette tripartition permet finalement une relecture de la matière à la lumière des trois fondements proposés. / Because it is key in understanding how it is triggered, the concept of abnormality is a notion of great importance in relation to civil liability. This concept is first of all found in relation to the notion of injury, which is an anomaly, a deviation from the normal course of things. The abnormality is an intrinsic part of an injury and is defined as a patrimonial and non-patrimonial disturbance suffered by a victim. The concept is then applied outside of the notion of injury, as it then characterises the elements additional to the injury that are needed in order for liability to arise. This aspect of the abnormality, the extrinsic side, originates from the tort principle: that one is liable for one’s own abnormal behaviour.Although classically confined to the objective element of fault, the notion of abnormality has outgrown its original definition and developed into a criterion with many applications. The concept is used, for instance, in relation to product liability (abnormality of an object/product), vicarious liability, or even in relation to nuisance neighbours. There is perhaps also a latent possibility for the concept of abnormality to be used by the legislator for derivative special liability regimes (e.g. defective products, traffic accidents). Ultimately, the concept of abnormality is a form of legal criterion that, in order to give rise to compensation, can be associated to a triggering event, an injury, or a risk. This vision opens up many possibilities: it enables a new way of presenting this subject matter around the three principles that are the abnormality of the triggering event, the abnormality of the injury and the abnormality of the risk. By defining the perimeter of civil liability, this tripartition actually enables a new understanding of the subject matter through these three proposed principles.

Dans la plupart des disciplines juridiques, le motif légitime se présente comme un standard de justification des actes. Il fait obstacle à l’application de la norme, en fondant un droit ou en exonérant d’un devoir. Le droit pénal se montre réticent à l’endroit de cette notion floue qui connaît pourtant un essor sans précédent. Afin de justifier la marge d’appréciation laissée au juge, le motif légitime est généralement conçu comme un mobile, ce qui accentue la confusion entre les causes objectives et subjectives d’irresponsabilité. L’insuffisance de l’approche formelle du mécanisme justificatif explique sa subjectivation progressive. L’analyse du motif légitime suppose de revisiter la théorie de la justification à travers une conception substantielle de l’illicéité, apte à unifier son régime. L’étude de la finalité justificative du motif légitime permet de mieux comprendre la souplesse de ses conditions de mise en œuvre. Le motif légitime renverse la présomption d’illicéité fondant la responsabilité. Le jugement de valeur porté sur l’infraction est la raison d’être du reproche social. Elle se distingue de son attribution à l’auteur qui relève d’un jugement de réalité sur sa volonté. Le motif légitime procède des circonstances extérieures à l’infraction autorisant la vérification concrète de son illicéité. La nature objective du motif légitime est conforme à son effet exonératoire de responsabilité opérant in rem et non in personam. Ses conditions d’application semblent, en revanche, doublement dérogatoires au droit commun de la justification, tant à l’égard de ses critères larges que de son domaine étroit. Il est cantonné à des infractions de risque abstrait pour des valeurs secondaires dont la présomption d’illicéité est artificielle. Le prévenu doit rapporter la preuve de la légitimité concrète de son acte, alors que la légitimité abstraite de la répression est sujette à caution. L’expansion de ce domaine dérogatoire de la répression révèle l’insuffisant contrôle de sa nécessité abstraite. En tout état de cause, la mention spéciale du motif légitime est inutile car toute infraction en fait implicitement réserve, en sorte qu’il se conçoit comme un standard général de justification. Il confère au juge la libre appréciation de la nécessité concrète de la répression, au regard du contexte de chaque espèce qui échappe par nature à la loi ne pouvant régler a priori tous les conflits de valeurs. La justification a postériori des infractions socialement nécessaires ou insignifiantes renforce l’autorité de la loi en garantissant une application conforme à sa finalité de protection des valeurs. / In many legal disciplines, the legitimate reason is a model of justification of acts. The legitimate reason prevents the enforcement of the law, either by creating a right or by exempting someone from a duty. Despite an unprecedented boom, criminal law is hesitant about this vague notion. In order to justify judges' assessment margin, the legitimate reason is commonly considered as a motive. This accentuates the confusion between objective and subjective causes of irresponsibility. The formal approach of the justificatory process is inadequate, making the process increasingly biased. The analysis of the legitimate reason requires a re-examination of the justification theory using a solid understanding of unlawfulness which can help standardize its implementation. The study of the legitimate reason’s justificatory function allows a better understanding of the flexibility of its implementation requirements. The legitimate reason reverses the presumption of unlawfulness on which liability is based. The cause of liability is conditioned by the value judgment made about the offence, whereas the judgment of the reality of the offender’s intention is the condition of his imputation. The legitimate reason stems from circumstances that are external to the offence, and which enable the review of its lawfulness. The objective nature of the legitimate reason is aligned with the fact that it exempts from liability in rem and not in personam. However, the requirements for its application seem exceptional to the common law of justification in two regards: its broad criteria and its narrow field. It is limited to offences of abstract risk that protect secondary values for which the presumption of unlawfulness is artificial. The defendant must prove the legitimacy of his act whereas the abstract legitimacy of the suppression is unconfirmed. The expansion of this dispensatory field of suppression reveals an inadequate control of its abstract necessity. In any case, bringing up legitimate reason is useless as it is implicit to any offence and is considered as a general model of justification. It leaves the judge free to assess the necessity of the penalty on a case by case basis, as the law, by nature, cannot resolve all value conflicts. The post facto justification of socially necessary offences or even trivial offences reinforces the authority of the law by ensuring an enforcement that is aligned with the law's aim of protecting values.

L’entreprise transnationale s’impose comme un pouvoir économique puissantdans le contexte de mondialisation. Dénuée de personnalité morale, elle n’est appréhendéeque partiellement par les droits internes. En dehors du droit supranational qui présente descarences et n’assure qu’une régulation partielle, les relations de travail dans l’entrepriseglobalisée restent largement appréhendées par les droits nationaux et les paradigmes dudroit du travail n’ont guère évolué pour s’ajuster à leur singularité. La nature du droit quisaisit ces rapports n’est donc pas commensurable à leur réalité transnationale.L’insuffisance du cadre d’analyse actuel oblige alors à dépasser le doublecloisonnement des systèmes juridiques et des personnes morales afin de développer dessolutions globales. Une analyse tant positiviste que prospective du droit révèle l’existenced’un processus d’adaptation en cours, celui-ci devant toutefois être renforcé et étendu.Il s’agit donc de mettre en place un principe d’ajustement du droit à ces relations de travail,lequel révèle l’identité du transnational : la transnationalité est une expression du pluralisme.L’adaptation du droit suppose, d’une part, que l’entreprise soit recomposée en tantqu’organisation et qu’elle soit mise en synergie avec les autres acteurs de la gouvernancemondiale. Le mouvement d’adéquation implique, d’autre part, qu’un droit global, « postmoderne» et pluraliste, reposant sur un socle de droits fondamentaux, voit le jour. Ainsi,c’est au prix de ces évolutions que l’on parviendra à une régulation adaptée des relations detravail dans l’entreprise transnationale ainsi qu’à l’émergence d’un droit social de lamondialisation. / Transnational companies now stand as leading economic powers in aglobalisation context. Stripped of any legal personality, they are only partly bound by thenational laws. Aside from supranational law, which is incomplete provides only partialregulation, labour relations within globalised companies remain largely bound by nationallaws while the paradigms of labour law have barely evolved in order to adjust to theirsingularity. The nature of the law that governs those professional relations is therefore notcommensurate to their transnational reality.The deficiencies of the current framework for analysis thus compel researchers to gobeyond the twofold boundaries of legal systems and legal entities in order to develop suitableglobal solutions. A positivist, forward-looking analysis of the law reveals the existence of anadaptation process that is already underway but which must also be extended andstrengthened.It is therefore a matter of establishing a legal adjustment principle within those labourrelations, which reveals the identity of the transnational: transnationality is an expression ofpluralism. Legal adaptation assumes, on the one hand, that companies be reconstructed asorganisations and that a synergy be established with other players in the field of globalgovernance. The alignment trend implies, on the other hand, the birth of a "post-modern",pluralist global law, resting on a foundation of fundamental rights. It is thus at the cost of suchdevelopments that an adapted regulation of labour relations will be achieved withintransnational companies, together with the emergence of a globalised social law.

Cette thèse fait l'histoire conjointe des notions de " race " et de " dégénération/ dégénérescence " entre le XVIIe et le XIXe siècle. Elle envisage cette histoire tant du point de vue d'une épistémologie historique - " comment race et dégénérescence sont devenues les concepts de savoirs divers " (histoire naturelle, anthropologie, psychiatrie) - et d'une histoire des pratiques de gouvernement - " comment race et dégénérescence sont devenues des problèmes de gouvernement ". En prenant au sérieux la liaison entre ces deux notions, on vise à rendre compte de la formation, au XIXe siècle, d'un champ de savoirs qui se donnent pour objet ce que nous appelons " l'homme anormal ", c'est-à-dire cette figure bien particulière en laquelle la folie, la criminalité et les races " inférieures " viennent communiquer comme autant de déviations de la norme humaine, à la lisière du normal et du pathologique. Notre thèse décrit les catégories fondamentales qui organisent ce champ de savoirs. Plus profondément, il s'agit ainsi de montrer comment, loin d'être exclusif d'un discours universaliste et humaniste, loin d'être systématiquement corrélé à un dispositif d'exclusion, le discours de la race et de la dégénérescence est intimement lié à un humanisme théorique et pratique, ainsi qu'à des pratiques d'inclusion qui se focalisent non sur la race, la folie et le crime comme altérités radicales, mais comme des altérations qu'il convient de régénérer, de corriger et de perfectionner par des dispositifs de pouvoir particuliers. Ce sont les ambiguïtés et les apories qui logent au cœur de cette volonté d'inclusion et dans cette analyse de réalités hétérogènes en termes d'altérations d'une norme que nous étudions à travers ce parcours historique. Nous démontrons en particulier le lien profond qui existe entre l'entrée de la notion de " race " dans le champ naturaliste et une position monogéniste ; et d'autre part, qu'on ne saurait comprendre l'entrée de la même notion dans le champ politique et - plus généralement - le développement de tout un ensemble de savoirs sur l'homme anormal, sans les resituer dans la logique du libéralisme politique du début du XIXe siècle.

Hierdie proefskrif bied ʼn nie-empiriese ondersoek en ʼn konseptuele analise van die verhouding tussen ruimte en identiteit in Eben Venter (1954-) se oeuvre binne die konteks van ballingskapliteratuur die postkoloniale diskoers. Die manifestasie van die ruimte- identiteitdialektiek, soos wat dit uitgebeeld word in Venter se skryfkuns, word beskryf aan die hand van postkoloniale teorieë en insigte wat verband hou met aspekte soos ruimte, plek, ballingskap, diaspora, ruimtelike verplasing, seksuele migrasie, intra-nasionale migrasie, internasionale migrasie, empiriese en kulturele landskappe, identiteit as sosio-kulturele konstruksie en Suid-Afrikaanse outobiografieë. Vir die doel van hierdie ondersoek is die volgende vertellings geselekteer: Ek stamel ek sterwe (1996), Twaalf (2000), Horrelpoot(2006) en Brouhaha (2010). In ʼn tydsgewrig van grootskaalse migrasie, globale onsekerheid, transnasionale kapitalisme en radikale dekolonisering in die vorm van geweldsmisdaad, gewelddadige betogings by universiteite, plaasmoorde, grondhervorming, haatspraak, arbeidsonrus, xenofobie en die aftakeling van minderheidsregte, sny Venter in sy verhale en outobiografie ʼn verskeidenheid van kwessies aan. Dit sluit in: die naweë van apartheid, die Afrikaner-diaspora, grondeienaarskap, die ideologiese toeëiening van grond, rassisme, homofobie, queer-migrasie, die haalbaarheid van ʼn inklusiewe Afrika-identiteit en die veranderde rol, plek en identiteit van Afrikaners sedert 1994. Die outobiografiese inslag van Venter se skryfkuns is opvallend en word bespreek deur te verwys na die verhouding tussen fiksionele en reële ruimtes en na outobiografie as hibridiese genre en kreatiewe projek. Hierdie studie bied ook ʼn krities-analitiese besinning van Venter se bemoeienis met skryftemas soos selfopgelegde ballingskap, die vervreemding tussen plek en self, globale plekloosheid en “exile as a discontinous state of being” (Said 2000: 177). Een van die belangrikste insigte wat Venter in sy skryfkuns demonstreer, is dat ruimte, soos identiteit, nie ʼn essensialistiese konsep is nie, maar ’n onvoltooide en vloeibare konstruksie wat voortdurend verander na gelang van sosio-politieke ingrepe, internasionale migrasiepatrone en die individu se subjektiewe gewaarwording van plekke, / This dissertation presents a non-empirical and a conceptual analysis of the relationship between space and identity in the works of prose of Eben Venter (1954) within the context of the postcolonial discourse and exile literature. The manifestation of the space-identity dialectic, as portrayed in Venter’s writing, is described on the basis of postcolonial theories and insights related to terms and concepts like space, place, exile, diaspora, spatial displacement, sexual migration, intra-national migration, international migration, empirical and cultural landscapes and identity as a social-cultural construction. For the purpose of this study the following narratives were selected: Ek stamel ek sterwe (1996), Twaalf (2000), Horrelpoot en Brouhaha (2010). At a juncture of mass migration, global uncertainty, transnational capitalism and radical decolonization in the form of violent crime, violent protests at universities, hate speech, farm murders, land reform, labour unrest, xenophobia and the dismantling of minority rights, Venter addresses an assortment of social issues. This include: the aftermath of apartheid, the Afrikaner-diaspora, landownership, the ideological appropriation of land, racism, homophobia, queer-migration, the viability of an inclusive African-identity and the altered role, place and identity of Afrikaners since 1994. The autobiographical element is evident in Venter’s writing and is discussed by referring to the relationship between fictional and real spaces and to autobiography as a hybrid genre and creative project. This study also presents a critical-analytical reflection of Venter’s involvement with writing topics such as self-imposed exile, estrangement between place and self, global displacement/non-belongingness and “exile as a discontinuous state of being” (Said: 2000: 177). One of the key insights Venter demonstrates in his writing, is that space, like identity, is not an essentialist concept, but an incomplete and diffuse construction that is constantly changing depending on socio-political interventions, international migration patterns and the individual's subjective perception of places. / Afrikaans and Theory of Literature / D. Litt. et Phil. (Afrikaans)

L'implantation en Virgule Flottante (VF) d'une fonction à valeurs réelles est réalisée avec arrondi correct si le résultat calculé est toujours égal à l'arrondi de la valeur exacte, ce qui présente de nombreux avantages. Mais pour implanter une fonction avec arrondi correct de manière fiable et efficace, il faut résoudre le «dilemme du fabricant de tables» (TMD en anglais). Deux algorithmes sophistiqués (L et SLZ) ont été conçus pour résoudre ce problème, via des calculs longs et complexes effectués par des implantations largement optimisées. D'où la motivation d'apporter des garanties fortes sur le résultat de ces pré-calculs coûteux. Dans ce but, nous utilisons l'assistant de preuves Coq. Tout d'abord nous développons une bibliothèque d'«approximation polynomiale rigoureuse», permettant de calculer un polynôme d'approximation et un intervalle bornant l'erreur d'approximation à l'intérieur de Coq. Cette formalisation est un élément clé pour valider la première étape de SLZ, ainsi que l'implantation d'une fonction mathématique en général (avec ou sans arrondi correct). Puis nous avons implanté en Coq, formellement prouvé et rendu effectif 3 vérifieurs de certificats, dont la preuve de correction dérive du lemme de Hensel que nous avons formalisé dans les cas univarié et bivarié. En particulier, notre «vérifieur ISValP» est un composant clé pour la certification formelle des résultats générés par SLZ. Ensuite, nous nous sommes intéressés à la preuve mathématique d'algorithmes VF en «précision augmentée» pour la racine carré et la norme euclidienne en 2D. Nous donnons des bornes inférieures fines sur la plus petite distance non nulle entre sqrt(x²+y²) et un midpoint, permettant de résoudre le TMD pour cette fonction bivariée. Enfin, lorsque différentes précisions VF sont disponibles, peut survenir le phénomène de «double-arrondi», qui peut changer le comportement de petits algorithmes usuels en arithmétique. Nous avons prouvé en Coq un ensemble de théorèmes décrivant le comportement de Fast2Sum avec double-arrondis. / The Floating-Point (FP) implementation of a real-valued function is performed with correct rounding if the output is always equal to the rounding of the exact value, which has many advantages. But for implementing a function with correct rounding in a reliable and efficient manner, one has to solve the ``Table Maker's Dilemma'' (TMD). Two sophisticated algorithms (L and SLZ) have been designed to solve this problem, relying on some long and complex calculations that are performed by some heavily-optimized implementations. Hence the motivation to provide strong guarantees on these costly pre-computations. To this end, we use the Coq proof assistant. First, we develop a library of ``Rigorous Polynomial Approximation'', allowing one to compute an approximation polynomial and an interval that bounds the approximation error in Coq. This formalization is a key building block for verifying the first step of SLZ, as well as the implementation of a mathematical function in general (with or without correct rounding). Then we have implemented, formally verified and made effective 3 interrelated certificates checkers in Coq, whose correctness proof derives from Hensel's lemma that we have formalized for both univariate and bivariate cases. In particular, our ``ISValP verifier'' is a key component for formally verifying the results generated by SLZ. Then, we have focused on the mathematical proof of ``augmented-precision'' FP algorithms for the square root and the Euclidean 2D norm. We give some tight lower bounds on the minimum non-zero distance between sqrt(x²+y²) and a midpoint, allowing one to solve the TMD for this bivariate function. Finally, the ``double-rounding'' phenomenon can typically occur when several FP precision are available, and may change the behavior of some usual small FP algorithms. We have formally verified in Coq a set of results describing the behavior of the Fast2Sum algorithm with double-roundings.

L'objet principal de notre recherche sera d'essayer d'éclairer l'obscurité relative à la figure du contrat normatif, existante particulièrement en espagne, en élaborant une étude minutieuse et en profondeur qui fait actuellement défaut dans la littérature juridique. de même, il sera aussi bien nécessaire d'analyser si la notion de contrat normatif, telle qu'elle est proposée par la doctrine et jurisprudence espagnole et surtout italienne, peut être transposée au droit français des contrats. et, d'autre part, si la notion française de contrat-cadre correspond à celle, espagnole, de « contrato marco ». pour ce faire, il sera nécessaire d'entamer une étude de ses différences et similitudes au moyen d'une comparaison de l'emploi, par les professionnels du droit de chaque pays, de chacun des termes. finalement il sera envisagé, le cas échéant, l'opportunité d'une éventuelle transposition de la figure du contrat-cadre au droit espagnol à travers celle de « contrato marco », l'intégrant comme équivalente ou application de la figure de contrat normatif.ainsi, une fois notre recherche achevée nous serons en mesure de proposer une définition complète et claire de contrat normatif, de déterminer sa nature juridique, d'obtenir ses principaux caractères, d'en tirer sa portée et, enfin, de rassembler ces principales applications pratiques. et ce, naturellement sans oublier de relever tant l'histoire ou la genèse de cette figure que sa valeur actuelle, en tant que nouvelle forme de négociation, d'autorégulation et de limitation volontaire de la liberté contractuelle. / How far are now individuals free to create the most appropriate contractual tool to achieve the satisfaction of their needs and interests? What they have in common figures as diverse as a joint-venture agreement, a franchise agreement or a marriage contract? Is the old general theory of contract adapted to the contractual practice of the XXI century? A deep study of the normative contract in this book provides answers to these and to many other momentous matters of Private Law of Contract. Reconstructed from the detailed analysis of the theory and legal practice, the notion of normative contract as an agreement of cooperative nature could constitute the bridge to a new and inspiring way of conceiving the contract. Not surprisingly, as shown by its main practical manifestations, the contract is often more than just an instrument to organize an exchange of goods and services, a powerful regulatory tool of reality and human behavior. To put it briefly, if on the one hand in this essay the author seeks find a remedy for a situation of great uncertainty regarding the so-called normative contract, in the other hand he also invites the legal community to reflect calmly on the role played by contract in present society.Keywords: Normative contract, Normenvertrag, Alfred HUECK, genesis, concept, pactum de modo contrahendo, contrat-cadre, framework agreements, distribution, collective agreement, financial transactions, joint venture, marriage contract, codes of conduct, Spanish private law, French private law, contractual clause, cooperative agreement, intuitus personae, no-obligational and obligational content of the contract, union of contracts, regulatory function of contract, general contract theory, theory of legal regulation, Hans KELSEN , freedom of contract.