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

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

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

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

Partant de l’intuition que la notion d’État en droit international et en droit européen fait apparaître des éléments tellement épars et désordonnés, on a pu démontrer que cette intuition de départ se reflète très bien dans la réalité. En effet, d’une branche à l’autre, on se rend compte que les ordres juridiques étudiés offrent une vision polymorphe de la notion d’État, sous la forme d’« une figure à géométrie variable ». En explorant les règles d’imputation, les règles de rattachement et les règles d’expression de la volonté de l’État, force est de constater que la notion d’État peut être appréhendée du point de vue organique, du point de vue matériel et du point de vue factuel. Au-delà de cette variabilité, il convient de rechercher l’unité fonctionnelle de la notion d’État. On en vient, dès lors, à la conclusion selon laquelle : la fonction singulière de la notion d’État est sa propension à être un outil au service des nécessités systémiques de l’ordre juridique international et européen. La notion d’État est en effet mobilisée pour servir un objectif particulier, ce qui rend concevable sa géométrie variable. Ainsi, notre thèse s’évertue à faire ressortir l’unité dans la variabilité. Elle comporte toutefois en filigrane une proposition théorique, celle de « l’État fonctionnel ». Par « État fonctionnel », nous entendons toute entité qui n’est pas statutairement un État, mais qui néanmoins exerce pleinement et entièrement des fonctions de nature étatique, et ceci de façon autonome. On vise par-là certaines entités fédérées (comme celles de la Belgique et le Québec) et certaines entités sécessionnistes ((comme la RTCN) ou des groupes terroriste (comme l’État islamique). La théorie de « l’État fonctionnel » ne va pas jusqu’à postuler la reconnaissance de la qualité d’État à ces entités, mais seulement de les considérer comme tel, de façon ponctuelle, afin de permettre une application effective et efficace de la norme internationale et/ou européenne. / Extending from the intuition that the concept of State in international and European law revealed various components, it is demonstrated that such intuition reflects the reality. Indeed, from one branch of another, we realize that the different legal orders we study, reflect a multiform face of State, a variable geometry. In exploring rules for imputation, rules for express the consent of State and rules allowing to link an entity to State, we have to admit that the concept of State can be defined through organic, material or factual criterion. Beyond this variability, it is appropriate to search the functional unit of the concept of State. We come therefore to the conclusion that the function of the concept of State is to serve the international and European legal orders requirement. The concept of State is used to serve a fixed objective, what explain his variable geometry. Thereby, our thesis is striving to demonstrate unity in diversity. It includes a theoretical proposal which is “the functional State” as watermark. “Functional State” is from our perspective an entity which is not State by statute but is State by functions. We target certain federal entities (such Belgium one’s or Quebec in Canada) and certain secessionist entities (as Turkish Republic of Northern Cyprus) or terrorist group (as Islamic State). This theoretical proposal does not extend to recognize such entities as States, but just to consider them as States on an ad hoc basis in the purpose to apply effectively and fully the international or the European norm.

Dans l'objectif de combler le gap entre l'offre et la demande en propène, la réaction d'oxydation déshydrogénante du propane (ODHP) est une solution alternative à la réaction de déshydrogénation directe. Les hydroxyapatites (HAp) modifiées au vanadium sont des matériaux bi-fonctionnels aux propriétés acido-basiques et redox intéressants pour cette réaction. L'objectif de cette thèse est d'étudier le comportement catalytique de ces systèmes et d'établir des relations entre structure et réactivité. Par le contrôle des conditions de synthèse et pourvu que le pH soit maintenu élevé (~9), la solution solide Ca10(PO4)6-x(VO4)x(OH)2 est obtenue dans toute la gamme de composition (x 0→ 6), alors que pour un pH inférieur, un mélange de phases d'HAps au vanadium et de Ca2V2O7 est obtenu pour x ≥ 4. Pour la solution solide, contrairement à la sélectivité en propène, la conversion en propane n'augmente pas avec la teneur en vanadium non exposé en surface. L'activation de la liaison C-H du propane s'explique par une propriété intrinsèque à la structure HAp, en lien avec la formation thermiquement activée d'anions O2- très basiques. Leur formation in situ résulte de la déshydratation progressive des colonnes d'ions OH- via le processus de conduction ionique par les protons, exalté sous conditions réactionnelles. L'organisation du vanadium sous la forme de tétramères dans Ca2V2O7 au lieu de tétraèdres isolés dans la seule solution solide favorise les échanges redox et explique l'augmentation de la sélectivité. Le contact intime entre les deux phases et la formation d'une interface cohérente permet un optimum de rendement en propène du fait de la synergie des propriétés des deux phases. / In order to fill the gap between propene supply and demand, the oxidative dehydrogenation of propane (ODHP) is an alternative solution to the direct dehydrogenation process. Vanadium-modified hydroxyapatites (HAp) are bifunctional catalysts combining acid-base and redox properties which were shown to be of interest for the ODHP reaction. In order to optimize this system, the aim of the work was to investigate the catalytic behavior of the vanadium-modified hydroxyapatites and to establish structure reactivity relationships. By peculiar attention was devoted to the control of synthesis. Provided high pH value is maintained during the synthesis, the Ca10(PO4)6-x(VO4)x(OH)2 solid solution was successfully obtained for x 0→ 6, whereas at lower pH, a mixture of Vx-HAp solid solution and of Ca2V2O7 was obtained from x ≥ 4. For the solid solution, contrary to propene selectivity, the propane conversion does not depend on the vanadium content, unexposed on the surface. The activation of the C-H bond of propane is controlled by an intrinsic properties of the HAp structure, in relation with the thermally activated formation of strong basic O2- anions. Their in situ formation results from the progressive dehydration of OH- columns via an ionic conduction process by protons that is enhanced under catalytic conditions. Due to the tetrameric environment of vanadium in Ca2V2O7 against isolated tetrahedra in the solid solution, redox exchanges are facilitated, improving the selectivity in propene. The intimate contact between the two phases and the formation of a coherent interface leads to an optimal yield in propene, due to synergistic effects of the two phases.

Certains aliments ou composants des aliments ont des effets physiologiques et psychologiques bénéfiques en plus de leur rôle de base de couverture des besoins nutritionnels. Leur identification dans les produits alimentaires est un axe d'étude et de développement important des industriels de l'agroalimentaire. L'objectif de ce travail était de caractériser les effets induits par la consommation de lactoferrine, de deux souches de bactéries probiotiques (Lactobacillus acidophilus NCFM et Bifidobacterium animalis Bb12) et du SM3 (extrait enrichi en sphingolipides) sur le système immunitaire digestif et périphérique de souris BALB/c. Les ingrédients ont été inclus dans des régimes, seuls ou en association. Nos résultats montrent que les deux souches de bactéries se retrouvent viables en nombre suffisant dans les fèces pour effectuer les fonctions bénéfiques revendiquées. Le SM3 joue un rôle « positif » sur la flore lactobacille. Les différents régimes ont modulé des paramètres immunitaires innés (phagocytose) et adaptatifs (immunoglobulines et la répartition des cellules T et DCs). Notamment, les résultats sur le recrutement des DCs de type Th1 sont originaux par rapport aux travaux déjà publiés. Ces modifications ont été observées aux niveaux local et systémique. Le ratio NON-HDLch/HDLch a été amélioré par les régimes contenant des bactéries et/ou du SM3. Nous avons mis en évidence un effet dose pour le SM3 et un phénomène d'interaction entre le SM3 et les probiotiques. Nos résultats apportent des arguments pour classer ces trois ingrédients parmi les ingrédients fonctionnels mais des travaux supplémentaires sont nécessaires pour comprendre les mécanismes sous-jacents.

Fp2 (functional parallel programming) est un langage qui concilie programmation fonctionnelle et programmation parallèle a travers le formalisme des spécifications algébriques et des systèmes de réécriture. Dans le cadre du projet fp2, cette thèse a pour principal objectif de présenter la partie fonctionnelle, incluant la généricité et le traitement des exceptions. La généricité (paramétrisation d'une spécification) est traitée dans la première partie: nous rappelons les principes, étudions la sémantique, formalisons la compilation des opérateurs génériques en restant dans un cadre fonctionnel, et analysons les raccourcis de notation offerts aux utilisateurs. La deuxième partie est consacrée aux exceptions. Elles sont d'abord étudiées d'un point de vue opérationnel, puis nous en donnons une définition précise qui permet de ramener une présentation avec exceptions a une présentation avec sortes ordonnées. Cette définition assure l'existence d'une algèbre initiale et permet en outre de traiter les exceptions avec paramètres génériques. En troisième partie, sont présentées des méthodes de transformation de définitions fonctionnelles récursives en processus parallèles communicants. La généricité est utilisée pour formuler les hypothèses sur les définitions fonctionnelles, et nous montrons de plus comment simuler une pile de récursivité de profondeur arbitraire par des réseaux de processus dont la topologie est fixée statiquement

Ce travail porte sur le problème de la validation des logiciels réactifs synchrones par rapport à des propriétés de sûreté. Les propriétés de sûreté permettent de spécifier les comportements sûrs d'un logiciel. D'une manière générale, notre approche aborde la validation par le test. Dans ce cadre, nous avons défini une technique qui permet de déterminer, à partir des propriétés de sûreté seulement, toutes les données de test favorisant l'observation d'une violation de ces propriétés. Cette technique permet d'anticiper une violation future. Différentes heuristiques ont été implantées pour sélectionner les données de test de façon efficace. Notre proposition a été intégrée à l'outil Lutess. Ce dernier est capable de générer automatiquement et dynamiquement des données de test en s'appuyant sur divers guides. La capacité de nos heuristiques à guider le test vers des situations où la propriété de sûreté peut être violée a été évaluée sur une étude de cas significative proposée par un consortium d'industriels du secteur des télécommunications.