L’aléa, véritable « cœur » du contrat d’assurance, ne finit pas de susciter les interrogations lorsqu’il s’agit de préciser plus techniquement son rôle, tout comme sa raison d’être. En première ligne se situe naturellement le débat relatif à la qualification des formes contemporaines d’assurance vie : ce dernier, haut lieu de controverse doctrinale depuis des années, ne s’est toujours pas apaisé malgré l’impressionnant nombre d’études consacrées au sujet. En parallèle, le thème de l’aléa dans les contrats fait également l’objet d’un vif regain d’intérêt, s’invitant dans les colloques et les ouvrages les plus récents. Plus que jamais, les notions de contrat d’assurance et de contrat aléatoire se retrouvent donc au cœur de la polémique. Et cette dernière peut aller bon train, tant le débat reste enfermé dans cette idée courante qu’un contrat est un acte nécessairement créateur d’obligations. Ainsi, l’on s’attache bien souvent à mettre en évidence le déséquilibre des obligations des parties (caractéristique des contrats aléatoires) avant de s’interroger sur son existence dans le contrat d’assurance. Mais cette approche obligationnelle de la structure contractuelle est-elle véritablement pertinente ? Ne devrait-on pas, au contraire, concevoir plus largement les effets de l’acte juridique, et consacrer juridiquement une idée somme toute assez commune dans le langage courant des praticiens : celle d’un transfert de risque ? A l’approche obligationnelle classique, exclusivement focalisée sur l’analyse des prestations des parties (paiement de la prime par le souscripteur ; règlement du sinistre voire couverture du risque par l’assureur), se substituerait ainsi une approche réelle, davantage axée sur le transfert de risque opéré entre les parties. Cette approche réelle, à bien des égards séduisante par rapport à l’approche obligationnelle, permettrait ainsi de porter – entre autres – un regard différent sur la problématique inhérente aux formes contemporaines d’assurance vie. / Hazard is well known for being at the heart of the insurance contract. Nonetheless, it does not stop raising questions about its precise role and raison d’être. Firstly, the debate deals with the qualification of contemporary forms of life insurance; Mecca of doctrinal controversy for years, it still remains topical in spite of the impressive number of studies. Meanwhile, contingency is of intense interest in civil contract law, as well as subject to recent seminars and latest books. More than ever, the notions of insurance contract and of aleatory contract appear as being the “core” issues of a controversy which keeps going well, because the debate may be limited by the idea that a contract is necessarily an act that creates obligations. Thus, the imbalance between the parties’ obligations - characteristic of aleatory contracts – is often highlighted before questioning its existence in the insurance contract. However, it may be wondered as whether to know if such an “obligational” approach of the contract is truly relevant. On the contrary, shouldn’t we consider the effects of the contract through a wider point of view, in order to admit – legally – a quite common idea in everyday language: the transfer of risk? Unlike the obligational approach which is solely focused on the performances of both parties (premium paid by the taker; compensation paid out of the claim or even risk covered by the insurer), that “real” approach would be more focused on the risk that is transferred between the contracting parties. Such a real approach, which seems to be highly more attractive than the obligational one, would offer - among others - a different perspective within the debate that is inherent to the contemporary forms of life insurance.

La loi du 27 juillet 1999 portant création de la couverture maladie universelle est intervenue dans le cadre d'une politique générale de lutte contre l'exclusion. Afin d'améliorer l'accès aux soins d'un nombre croissant de personnes pauvres, les socialistes ont élaboré un dispositif comportant deux volets. Le premier volet visait la généralisation de l'assurance maladie, en permettant l'affiliation au régime général sur un critère subsidiaire de résidence. Le second volet avait pour ambition d'offrir une couverture santé complémentaire, aux millions de personnes qui n'en bénéficiaient pas. Cette prestation étant soumise au respect d'une condition de résidence et d'une condition de ressources. L'ensemble du dispositif instauré par la loi CMU s'est substitué à l'aide médicale départementale et à l'assurance personnelle. L'ampleur des inégalités de santé, touchant en premier lieu les individus les plus pauvres et les plus isolés de la société, a conduit au bon accueil général de la loi CMU. Cependant, bien que considérée comme une grande loi de santé publique, certaines mesures ont été le théâtre de débats et d'oppositions, tant sur la scène politique que dans la société. Cela a été le cas concernant l'effet de seuil induit par l'instauration d'un plafond de ressources, le risque de déresponsabilisation des bénéficiaires ayant accès gratuitement au dispositif, les règles de financement essentiellement basées sur des taxes et contributions publiques, le choix d'une gestion partenariale entre sécurité sociale et partenaires privés, ou encore concernant la réticence d'une minorité de professionnels de santé à l'égard du dispositif. / The law of the bearing July 27th, 1999 creation of the universal health coverage intervened within the framework of a general policy of fight against exclusion. In order to improve the access to the care of a growing number of poor people, the Socialists worked out a device comprising two facets. The first facet aimed at the generalization of the health insurance, by allowing the affiliation the general scheme on a subsidiary criterion of residence. The second facet had as an ambition to offer a complementary coverage health, to the million people who did not profit from it. This service being subjected to the respect of a condition of residence and a condition of resources. The whole of the device founded by law CMU replaced for the departmental medical assistance and the personal insurance. The extent of the inequalities of health, concerning initially the poorest individuals and most isolated from the society, led to general warm welcome of law CMU. However, although regarded as a great law of public health, certain measurements were the theatre of debates and oppositions, as well on the political scene as in the society. That in particular was the case concerning the effect of threshold induced by the introduction of a ceiling of resources, the risk of deresponsabilisation of the recipients having access free to the device, rules of financing primarily based on public taxes and contributions, the choice of a partnership management between social security and private partners with in particular the organizations of complementary health, or concerning the reserve of a minority of health professionals with regard to the device leading to refusal of care.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Cette thèse visait à caractériser et à modéliser la dynamique des trois ressources principales que sont l'eau, l'azote et le rayonnement dans une association en relais maïs-plante de couverture en semis direct en région tropicale subhumide et ses conséquences sur la productivité de la culture principale et de l'ensemble du système et sur les flux d'eau et d'azote dans le sol. Le travail repose sur un dispositif expérimental mis en place dans les Cerrados, à Unaí (Minas Géras, Brésil) en 2007 pour deux années agricoles, d'une part en station expérimentale permettant un effort de mesure intense et d'autre part dans un réseau de parcelles d'agriculteurs offrant une large gamme de situations pédoclimatiques et de modalités de mise en œuvre des systèmes de culture étudiés. Dans ces derniers, la culture principale était un maïs, et la plante de couverture associée en relais était une culture fourragère tropicale, soit la légumineuse, Cajanus cajan soit la poacée, Brachiaria ruziziensis. Deux dates de semis, précoce et tardive étaient considérées pour le semis de la plante de couverture au sein du maïs, dans le cas de l'essai en station. Ce travail montre que rendement du maïs n'a pas été significativement affecté par la présence de la plante de couverture semée précocement au sein du maïs, en comparaison avec le rendement du maïs en culture pure. En revanche, la production en biomasse de la plante de couverture a été significativement réduite dans l'association. Le semis précoce de la plante de couverture au sein du maïs permet une production en biomasse significativement plus importante qu'un semis tardif (20 jours après floraison du maïs), et une production totale en biomasse de l'ensemble de l'association significativement plus importante par rapport aux cultures pures. Cette production totale a été plus du double comparée à celle de la culture pure de maïs dans le cas de l'association maïs-Cajanus. Les valeurs du Land Equivalent Ratio (LER) du rendement en grain de maïs et de la production de biomasse ont été supérieures à 1, atteignant jusqu'à 2.03 témoignant d'une meilleure valorisation des ressources par les espèces associées et l'avantage de tels systèmes pour produire à la fois du grain et du fourrage. La thèse montre aussi la forte variabilité du potentiel de production de ces systèmes en parcelles de producteurs et suggère que lorsque les ressources en eau et en azote sont moins disponibles que dans l'essai de station, des compétitions entre maïs et plantes de couverture peuvent réduire les performances agronomiques du maïs et/ou de la plante de couverture comparativement par rapport à la culture pure équivalente. La biomasse totale produite reste cependant supérieure à celle de la culture pure de maïs, sauf pour de rares exceptions où de plus faibles disponibilités en ressources, parfois accentué par des difficultés de gestion technique, le maïs semble souffrir de compétition plus forte et/ou la plante de couverture ne produit que très peu de biomasse. La thèse évalue la capacité d'un modèle de simulation de culture associées, STICS-CA, à fournir une analyse plus fine de la dynamique du partage des ressources dans ces systèmes et à en estimer les performances agronomiques et certains impacts environnementaux en fonction de conditions techniques et édapho-climatiques différentes de celles de notre dispositif. Des modifications mineures et le calage du modèle ont conduit à une simulation satisfaisante des cultures pures de maïs et Brachiaria et de l'association maïs-Brachiaria en semis direct sur mulch pailleux. En revanche il n'a pas été possible d'obtenir une simulation satisfaisante du maïs en semis conventionnel sur sol labouré, ni du Cajanus en culture pure et de l'association maïs-Cajanus en semis direct. . La thèse fournit des informations sur les imperfections du modèle et propose des améliorations aussi bien en termes de formalismes pour la prise en compte de la minéralisation du mulch, qu'en termes de dispo exp / This thesis dealt with characterizing and modeling the dynamics of the three principal resources which are water, nitrogen and radiation in a no-tillage relay intercropping maize-cover crop systems, under sub-humid tropical area climate. Moreover, productivity of the main crop and of the whole system and nitrogen and water flows in the soil are assessed.The study was based on an on-field approach/experimental design carried out during two crop growing seasons in Cerrados region, in Unaí (Minas Géras, Brazil) since 2007. Firstly, an experimental station was used allowing an intense effort of measurement and secondly, a whole of several farmer's fields offering a wide range of soil and climate conditions and modalities of implementation of the studied cropping systems. In the latter, main crop was maize, and intercropped cover crop was a tropical fodder crop, either leguminous, Cajanus cajan or gramineous, Brachiaria ruziziensis. Two dates of sowing, early and late were considered for the sowing of the cover crop in established maize, in the case of the experimental station. This study showed that maize yield was not significantly affected by the presence of the relay cover crops in comparison with maize as the sole crop, even when the cover crop was sown soon after maize emergence in comparison with maize sole crop. In contrast, the production of biomass by the cover crop was significantly lower when grown with maize than when it was grown as a sole crop. In the intercropped systems, when sown early, the cover crop produced higher total biomass than when sown late (20 days after maize flowering). Moreover, total aboveground biomass production of maize intercropped with a cover crop was much higher than that of any of the crops sown alone. Total biomass produced by maize and pigeon pea (Cajanus cajan) was more than double that maize grown alone. The Land Equivalent Ratio (LER) values of both maize grain yield and biomass production were higher than one, whatever the intercrop system, reaching up to 2.03 providing better available resources use efficiency by the intercropped plants. Thus, such systems permit to produce both maize grains and forage.The thesis shows also the strong variability of the production potential of these systems in farmer's fields and suggests that when water and nitrogen resources are less available than in the experimental station, competitions between maize and cover crops can reduce the agronomic performances of maize and/or the cover crop when compared to the equivalent pure sole crop. Total biomass produced by intercropping remained however higher than that of maize sole crop, except for rare exceptions where lower resources availability, sometimes accentuated by difficulties of technical practice, maize seems to suffer from stronger competition and/or the cover crop produced only very little biomass. The thesis evaluates the capacity of the STICS intercrop model, STICS-CA, to provide a finer analysis of the dynamics of the resource sharing in these systems and to estimate their agronomic performances and certain environmental impacts according to technical practices and soil and climate conditions that were different from those of our experimental station. Minor modifications and model calibration led to obtain satisfying simulations of the sole crops maize and Brachiaria and intercrop maize-Brachiaria in no-tillage under mulch. On the other hand, it was not possible to obtain satisfying simulations of sole crop maize in conventional tillage, nor of sole crop pigeon pea and intercrop maize-pigeon pea in no-tillage under mulch. The thesis provides information on the model imperfections and as well proposes improvements in terms of formalisms to take into account the mineralization of the mulch, as in terms of experimental design.

Cette thèse porte sur les problèmes de déploiement des Réseaux de Capteurs sans Fil (RCsF). Elle suit trois directions principales : (1) le déploiement aléatoire, (2) le déploiement déterministe, et (3) l'auto-déploiement. En premier lieu, nous présentons une étude sur le placement aléatoire des capteurs dans les RCsF et nous élaborons une stratégie pratique de déploiement aléatoire. Ensuite, dans le cadre d'un déploiement déterministe, nous analysons le problème de gestion des imperfections liées à la collecte des données par les capteurs. Nous discutons les modèles de couverture et les algorithmes de placement existants et nous exploitons la théorie de l'évidence pour concevoir des stratégies de déploiement plus efficaces. Enfin, nous explorons les stratégies d'auto-déploiement existantes et nous élaborons un protocole en deux phases, léger et complet, pour assurer une couverture optimisée de la zone contrôlée en utilisant un RCsF mobile. Les résultats obtenus montrent l'efficacité des approches proposée qui ont été étudiées à la fois sur des données synthétiques que sur un test expérimental / This dissertation is an in-depth investigation of the Wireless Sensor Networks (WSNs) deployment problems that follows three general directions: (1) random deployment, (2) deterministic deployment, and (3) self-deployment. First, we present a survey and taxonomy of random node placement in WSNs and we devise a practical random deployment strategy. Second, we analyze the uncertainty-aware deterministic WSNs deployment problem where sensors may not always provide reliable information. We discuss sensor coverage models and placement algorithms found in the literature and we investigate the evidence theory to design better deployment strategies. We devise evidence-based sensor coverage models and we propose several polynomial-time uncertainty-aware deployment algorithms. Third, we explore the published self-deployment strategies and we devise a lightweight and comprehensive two-phase protocol, for ensuring area coverage employing a mobile WSN. Experimental results based on synthetic data sets, data traces collected in a real deployment, and an experimental test, show that the proposed approaches outperform the state-of-the-art deployment strategies

L’augmentation constante du dioxyde de carbone dans l’atmosphère est considérée comme étant la cause principale du réchauffement climatique actuel. La séquestration géologique du CO2 semble être une des meilleures solutions envisageable pour réduire les rejets des gaz à effet de serre (dont le CO2) dans l’atmosphère, seulement si l’intégrité de la couverture du réservoir est préservée sur des centaines ou des milliers d’années. Des simulations expérimentales en batch ont été réalisées afin d’observer la réactivité d’une roche de couverture argileuse et d’une roche réservoir carbonatée en présence de CO2 à 80°C et 150°C pour une pression de 150 bar avec une eau équilibrée. Le protocole analytique mis en place a permis de comparer les roches avant et après expérimentation concluant à une réactivité très faible, centrée sur l’aluminium au niveau des phyllosilicates. Les analyses texturales montrent que le CO2 n’a pas d’incidence sur les propriétés d’adsorption et sur la surface spécifique. L’étude des carbonates du réservoir par la microscopie confocale a permis de mettre en évidence des phénomènes de dissolution-précipitation qui n’ont cependant pas d’impact important sur la chimie et la structure du réservoir. Les simulations numériques réalisées sur des minéraux de référence comme la montmorillonite calcique ou le clinochlore montrent une réactivité importante en présence de CO2 non atteinte expérimentalement, certainement due à des lacunes dans les bases de données thermodynamiques ou à la cinétique des réactions. Les simulations sur Bure ne montrent pas de réactivité sur les minéraux majeurs de la marne argileuse confirmant les résultats obtenus en expérimentation batch / The constant increase in the quantity of carbon dioxide in the atmosphere is regarded as being the principal cause of the current global warming. The geological sequestration of CO2 seems to be an ideal solution to reduce the increase of greenhouse gases (of which CO2) in the atmosphere but only if the reservoir’s caprock keep its integrity for several hundreds or thousands of years. Batch experimental simulations were conducted to observe the reactivity of a caprock made of clay and a carbonate reservoir with CO2 at 80°C and 150°C for a pressure of 150 bar with an equilibrated water. The analytical protocol established allowed to compare the rocks before and after experimentations finding a very low reactivity, focusing on aluminium in phyllosilicates. Textural analysis shows that CO2 does not affect the properties of adsorption and the specific surface. The study of carbonate reservoir by confocal microscopy has revealed phenomena of dissolution-precipitation which have no significant impact on chemistry and structure of the reservoir. The numerical simulations carried out on mineral reference as calcium montmorillonite or clinochlore show a significant reaction in the presence of CO2 not achieved experimentally, probably due to lacunas in the thermodynamic databases or the kinetics of reactions. The simulations on Bure show no reaction on the major minerals confirming the results with batch experiments

Pouvoir se déplacer intelligemment dans un environnement inconnu est primordial pour des robots mobiles (Évitement d’Obstacle (EO)). Ceci est nécessaire pour explorer et construire une carte de l’environnement (CArtographie Active (CAA)), carte qui servira à d’autres tâches comme la patrouille (COuverture Active (COA)). Cette thèse se focalise sur la prise de décision pour planifier les déplacements de robots autonomes afin de naviguer, couvrir ou explorer l’environnement. Ainsi, nous nous basons sur la Prise de Décision Séquentielle (PDS) en Intelligence Artificielle et proposons deux contributions concernant : (1) les processus décisionnels de CAA et COA, et (2) la planification à long terme pour la COA. De plus, récemment, les robots mobiles ont commencé à partager l’espace physique avec les humains en fournissant des services comme du ménage à la maison. Dans ces cas, le comportement du robot doit s’adapter à la dynamique du monde. Par conséquent, nous proposons deux autres contributions pour : (3) la CAA en environnements de foule, et (4) l’EO par chemin clairsemé en environnements ambiants / The ability to intelligently navigate in an unknown environment is essential for mobile robots (Obstacle Avoidance (OA)). This is needed to explore and build a map of the environment (Active Mapping (AM)); this map will then support other tasks such as patrolling (Active Coverage (AC)). In this thesis, we focus on decision-making to plan the moves of autonomous robots in order to navigate, cover, or explore the environment. Therefore, we rely on the framework of Sequential Decision-Making (SDM) in Artificial Intelligence to propose two contributions that address: (1) decision processes for AC and AM and (2) long-term planning for AC. Furthermore, mobile robots recently started sharing physical spaces with humans to provide services such as cleaning the house. In such cases, robot behavior should adapt to dynamic aspects of the world. In this thesis, we are interested in deploying autonomous robots in such environments. Therefore, we propose two other contributions that address: (3) short-term AM in crowded environments and (4) clearest path OA in ambient environments

Nous déterminons d’abord l’impact d’un plan infini réfléchissant sur l’espace occupé par une marche brownienne bidimensionnelle à un temps fixé, que nous caractérisons par le périmètre moyen de son enveloppe convexe (plus petit polygone convexe contenant toute la trajectoire). Nous déterminons également la longueur moyenne de la portion du plan visitée par le marcheur, et la probabilité de survie d’un marcheur brownien dans un secteur angulaire absorbant.Nous étudions ensuite le temps mis par un marcheur sur réseau pour visiter tous les sites d’un volume, ou une partie d’entre eux. Nous calculons la moyenne de ce temps, dit de couverture, à une dimension pour une marche aléatoire persistante. Nous déterminons également la distribution du temps de couverture et d’autres observables assimilées pour la classe des processus non compacts, qui décrivent un large spectre de recherches aléatoires.Dans un troisième temps, nous calculons et analysons la probabilité de sortie conditionnelle d’un marcheur brownien évoluant dans un intervalle se dilatant ou se contractant à vitesse constante.Enfin, nous étudions plusieurs aspects du modèle du marcheur aléatoire “affamé”, qui meurt si les visites de nouveaux sites, grâce auxquelles il engrange des ressources, ne sont pas suffisamment regulières. Nous en proposons un traitement de type champ moyen à deux dimensions, puis nous déterminons l’impact de la régénération des ressources sur les propriétés de survie du marcheur. Nous considérons finalement un modèle d’exploitation de parcelles de nourriture prenant explicitement en compte le mouvement du marcheur, qui se ramène de manière naturelle au modèle du marcheur aléatoire affamé. / We first determine the impact of an infinite reflecting wall on the space occupied by a planar Brownian motion at a fixed observation time. We characterize it by the mean perimeter of its convex hull, defined as the minimal convex polygon enclosing the whole trajectory. We also determine the mean length of the visited portion of the wall, and the survival probability of a Brownian walker in an absorbing wedge.We then study the time needed for a lattice random walker to visit every site of a confined volume, or a fraction of them. We calculate the mean value of this so-called cover time in one dimension for a persistant random walk. We also determine the distribution of the cover time and related observables for the class of non compact processes, which describes a wide range of random searches.After that, we calculate and analyze the splitting probability of a one-dimensional Brownian walker evolving in an expanding or contracting interval.Last, we study several aspects of the model of starving random walk, where the walker starves if its visits to new sites, from which it collects resources, are not regular enough. We develop a mean-field treatment of this model in two dimensions, then determine the impact of regeneration of resources on the survival properties of the walker. We finally consider a model of exploitation of food patches taking explicitly into account the displacement of the walker in the patches, which can be mapped onto the starving random walk model.

Les travaux présentés dans ce mémoire proposent une méthode originale de génération automatique de tests à partir de modèles SysML pour la validation de systèmes embarqués. Un sous-ensemble du langage SysML (appelé SysML4MBT) regroupant les éléments de modélisation pris en compte dans notre approche a été défini et une stratégie de génération de tests dédiée (intitulée ComCover) a été créée. Cette stratégie, basée sur les principes du critère de couverture de modèles bien connu Def-Use, s'intéresse à la couverture des communications (envois / réceptions) au sein du système et entre le système et son environnement.La mise en œuvre opérationnelle d'un prototype, basé sur un générateur de tests à partir de modèle UML, a nécessité la définition de règles de réécriture permettant la transformation du modèle SysML4MBT vers le format d'entrée natif du générateur de tests tout en conservant l'expressivité de SysML4MBT. Finalement, les étapes de concrétisation des tests en scripts exécutables et l'établissement automatique du verdict lors de l'exécution sur banc de test définis durant le projet VETESS permettent l'établissement d'une chaîne outillée opérationnelle de génération et d'exécution automatique de tests à partir de spécifications SysML. Cette chaîne outillée a été étrennée sur plusieurs cas d'étude automobile tels que l'éclairage avant, les essuie-glaces ou la colonne de direction de véhicule. Sur ce dernier exemple, nous avons eu l'opportunité d'exécuter les tests sur un banc de test physique. Ces cas d'étude ont permis de valider chacune des étapes de l'approche proposée. / The work introduced in this thesis is in line with an original SysML Model-Based Testing approach to validate automotive mechatronic systems. A subset of SysML notation (called SysML4MBT) supported to express the test model is defined and a dedicated test generation strategy (called ComCover) is created. This strategy, based on the well-known Def-Use criteria, deals with the coverage of communications (sends / receives) inside the system and between the system and its environment.The development of an operational prototype, based on a UML-based test generator, has required the definition of rewriting rules to derive the input model of the UML test generator from the SysML4MBT model, by preserving the SysML4MBT expressivity.Finally, the concretization of tests in executable scripts and the assignment of a verdict by executing tests on test bench defined during the VETESS project, complete the operational toolchain that allows tests generation and execution from SysML models.This toolchain has been tried out on several automotive case studies as front lightings, wiper or steering column. Concerning this last experimentation, we have had the opportunity to execute test on a physical test bench. These case studies allow validating each step of the proposed approach.

L'activité de test est une partie de plus en plus importante dans les développements logiciels. Cette activité de test est souvent longue et répétitive, les travaux entrepris dans cette thèse ont pour objectif de décharger l'ingénieur de test des tâches les plus répétitives de la synthèse de tests. Notre approche, dans le cadre du test de conformité, se base sur le fait qu'il existe différents niveaux d'abstraction pour définir des tests les tests exécutables pour une cible technologique, les tests abstraits qui sont indépendants de la technologie et les objectifs de test qui ne représentent que partiellement le chemin d'un test dans la spécification. Nos travaux portent sur deux points. le premier point vise à réduire l'effort alloué à la conception des tests. Pour cela nous définissons un nouveau niveau d'abstraction : les schémas de test qui offrent une abstraction supplémentaire sur les instances et valeurs manipulées. L'outil TObiAs a été développé au cours de la thèse pour aider à la conception des schémas de test, les déplier en objectifs de test ou en cas de test, puis concrétiser ces cas de test. le deuxième point étudie la portée d'un schéma de test en mesurant sa couverture de la spécification, au niveau d'abstraction du schém de test. Pour ce faire nous étudions les relations entre les niveaux d'abstraction de test et la spécification. Nous présentons l'intérêt de proposer une notion de couverture au niveau des schémas de test en construisant une abstraction de la spécification ainsi que l'outil CoPAS que nous avons créé pour calculer la couverture a priori.