Cette étude est consacrée au droit privé fédéral et à l'interaction entre la législation fédérale et le droit privé des provinces. Elle porte plus précisément sur le rôle des tribunaux dans le cadre de cette interaction. Elle a pour objectif de vérifier comment les juges procèdent à l'unification du droit privé fédéral en évitant de recourir formellement au droit provincial à titre supplétif. Dans un premier temps, elle établit le cadre juridique gouvernant l'interprétation du droit privé fédéral, de même que l'exercice du pouvoir judiciaire dans ce contexte. Dans un deuxième temps, elle analyse à travers un ensemble de jugements les procédés employés par les juges pour réaliser l'unification du droit privé fédéral. Elle conclut que ces procédés peuvent effectivement permettre de réaliser, au plan pratique, une telle unification. Cependant, ces interventions judiciaires sont ponctuelles et sont limitées à certains aspects de la conception ou de l'application des normes de droit privé. Dans les cas plus problématiques, elles peuvent avoir pour effet soit de nier le vide normatif rendant nécessaire le recours aux sources supplétives provinciales, soit de nier la pluralité formelle de ces sources dans le contexte fédéral. / This study is devoted to federal private law and the interaction between federal legislation and provincial private law. In particular, it is devoted to the role of the courts in such interaction. Hs objective is to assess how judges proceed with the unification of federal private law by avoiding formal reference to provincial law to supplement federal legislation. Firstly, the study considers the legal framework governing the interpretation of federal private law, as well as the exercise of judicial power in this context. Secondly, the study reviews means employed by judges, through a series of judgments, to proceed with the unification of federal private law. The study concludes that unification can effectively be achieved through such means. However, these judicial interventions are limited to sorne aspects of the elaboration and application ofprivate norms. In more complex cases, the effect of these interventions may be to disregard normative gaps that make necessary to supplement federal legislation with sources of provincial law, or to deny the plurality of these sources in the federal context. / "Mémoire présenté à la Faculté des études supérieures en vue de l'obtention du grade de maîtrise en droit". Ce mémoire a été accepté à l'unanimité et classé parmi les 5% des mémoires de la discipline. Commentaires du jury : "Remarquable par le choix du sujet et son traitement tant pour la forme que le fond. Mérite publication".

Cette étude est consacrée au droit privé fédéral et à l'interaction entre la législation fédérale et le droit privé des provinces. Elle porte plus précisément sur le rôle des tribunaux dans le cadre de cette interaction. Elle a pour objectif de vérifier comment les juges procèdent à l'unification du droit privé fédéral en évitant de recourir formellement au droit provincial à titre supplétif. Dans un premier temps, elle établit le cadre juridique gouvernant l'interprétation du droit privé fédéral, de même que l'exercice du pouvoir judiciaire dans ce contexte. Dans un deuxième temps, elle analyse à travers un ensemble de jugements les procédés employés par les juges pour réaliser l'unification du droit privé fédéral. Elle conclut que ces procédés peuvent effectivement permettre de réaliser, au plan pratique, une telle unification. Cependant, ces interventions judiciaires sont ponctuelles et sont limitées à certains aspects de la conception ou de l'application des normes de droit privé. Dans les cas plus problématiques, elles peuvent avoir pour effet soit de nier le vide normatif rendant nécessaire le recours aux sources supplétives provinciales, soit de nier la pluralité formelle de ces sources dans le contexte fédéral. / This study is devoted to federal private law and the interaction between federal legislation and provincial private law. In particular, it is devoted to the role of the courts in such interaction. Hs objective is to assess how judges proceed with the unification of federal private law by avoiding formal reference to provincial law to supplement federal legislation. Firstly, the study considers the legal framework governing the interpretation of federal private law, as well as the exercise of judicial power in this context. Secondly, the study reviews means employed by judges, through a series of judgments, to proceed with the unification of federal private law. The study concludes that unification can effectively be achieved through such means. However, these judicial interventions are limited to sorne aspects of the elaboration and application ofprivate norms. In more complex cases, the effect of these interventions may be to disregard normative gaps that make necessary to supplement federal legislation with sources of provincial law, or to deny the plurality of these sources in the federal context.

Les sources de paires de photons constituent un bloc de base pour les technologies de traitement et transmission de l'information quantique. Une source consistant en une fibre microstructurée à coeur liquide permet à la fois une réduction du bruit de diffusion Raman, une adaptation simple et efficace aux réseaux de télécommunication quantique, et l'ajustement de ses propriétés d'émission par ingénierie de la microstructure et choix du liquide non linéaire. Ces recherches se concentrent sur l'étude de l'émission de paires de photons d'une telle source, et du mélange à quatre ondes à leur origine. Nous soulignons le manque d'une description quantitative correcte des phénomènes non linéaires à l'origine des paires dans les modèles existants, et en proposons un se basant sur le champ D pour y parvenir. Nous mettons expérimentalement en évidence l'inconsistance avec la forme de spectre usuellement attendue les sources de paires de photons. Pour l'expliquer, nous développons un modèle rendant compte de la non-uniformité du guide, soit la variation de ses propriétés de propagation sur sa longueur. Par une approche analytique initiale simple de cette caractéristique, nous exposons l'étalement du spectre et la diminution du taux maximum d'émission de paires. Une description numérique par morceaux apporte une description plus proche de la réalité et met en lumière la très forte sensibilité du spectre à la non-uniformité. Un autre effet de cette dernière se traduit par la différenciation du spectre selon le sens de propagation de la lumière dans le guide. Lors de l'intrication en polarisation des paires dans un dispositif de type boucle Sagnac, cette non-réciprocité dégrade la visibilité des paires. Pour compenser cet effet, nous proposons une solution simple de symétrisation du profil des fibres à leur fabrication, appuyée par de premiers résultats encourageants. Cette étude ouvre la voie à la prise en compte des non-uniformités inhérentes aux guides réels, impactant fortement leur émission de paires de photons. / Photon-pair sources are a basic block for implementation of quantum information and telecommunication. A microstructured fibered source with liquid core induce a Raman scattering noise reduction, and at the same time allows a simple and lossless coupling to telecom network, with an engineering of its emission properties through the structure and liquid choices. This work focus on four-wave mixing leading to photon pairs emission in such a source. As existing models lack a correct emph{quantitative} description of nonlinear phenomena for pairs emission, we propose here one based on the D field to do so. We show a mismatch between the spectrum form usually expected and the experimental one. To explain this, we develop a model describing the effects of guide nonuniformity, meaning variation of its propagation properties along itself. Through an initial and simple analytical approach, we demonstrate the spectrum spreading and the diminution of the maximum of emission pairs rate. With a piece-wise numerical description for real guides, we highlight the very strong sensitivity of the emission spectrum towards nonuniformity. Another effect arising from this feature is the spectrum differentiation depending on the propagation direction within the guide. Upon pairs polarization entanglement by inserting the guide into a Sagnac loop interferometer, such nonreciprocity induces a deterioration of pairs visibility. In order to counteract this effect, we propose, based on first encouraging results, a simple solution involving a symmetrization of fibers profile during their manufacture. This study paves the way for taking into account inherent nonuniformity of real waveguides, which strongly impacts their photon pair emission.

Cette recherche en informatique théorique construit de nouveaux ponts entre logique linéaire et théorie de la complexité. Elle propose deux modèles de machines abstraites qui permettent de capturer de nouvelles classes de complexité avec la logique linéaire, les classes des problèmes efficacement parallélisables (NC et AC) et celle des problèmes solutionnables avec peu d'espace, dans ses versions déterministes et non-déterministes (L et NL). La représentation des preuves de la logique linéaire comme réseaux de preuves est employée pour représenter efficacement le calcul parallèle des circuits booléens, y compris à profondeur constante. La seconde étude s'inspire de la géométrie de l'interaction, une délicate reconstruction de la logique linéaire à l'aide d'opérateurs d'une algèbre de von Neumann. Nous détaillons comment l'interaction d'opérateurs représentant des entiers et d'opérateurs représentant des programmes peut être reconnue nilpotente en espace logarithmique. Nous montrons ensuite comment leur itération représente un calcul effectué par des machines à pointeurs que nous définissons et que nous rattachons à d'autres modèles plus classiques. Ces deux études permettent de capturer de façon implicite de nouvelles classes de complexité, en dessous du temps polynomial.

Cette thèse porte sur l'étude des points entiers et rationnels de certaines courbes et variétés modulaires. Après une brève introduction décrivant les motivations et le cadre de ce genre d'études ainsi que les résultats principaux de la thèse, le manuscrit se divise en trois parties. Le premier chapitre s'intéresse aux Q-courbes, et aux morphismes Gal(Q/Q) -> PGL2(Fp) qu'on peut leur associer pour tout p premier. Nous montrons que sous de bonnes hypothèses, pour p assez grand par rapport au discriminant du corps de définition de la Q-courbe, ce morphisme est surjectif, ce qui résout un cas particulier du problème d'uniformité de Serre (toujours ouvert en général). Les outils principaux du chapitre sont la méthode de Mazur (basée ici sur des résultats d'Ellenberg), la méthode de Runge et des théorèmes d'isogénie, suivant la structure de preuve de Bilu et Parent. Le second chapitre consiste en des estimations analytiques de sommes pondérées de valeurs de fonctions L de formes modulaires, dans l'esprit de techniques développées par Duke et Ellenberg. La motivation de départ d'un tel résultat est l'application de la méthode de Mazur dans le premier chapitre. Le troisième chapitre est consacré à la recherche de généralisations de la méthode de Runge pour des variétés de dimension supérieure. Nous y redémontrons un résultat de Levin inspiré de cette méthode, avant d'en prouver une forme assouplie dite "de Runge tubulaire", plus largement applicable. Dans l'optique de recherche de points entiers de variétés modulaires, nous en donnons enfin un exemple d'utilisation à la réduction d'une surface abélienne en produit de courbes elliptiques. / This thesis concerns the study of integral and rational points on some modular curves and varieties. After a brief introduction which describes the motivation and the setting of this topic as well as the main results of this thesis, the manuscript follows a threefold development. The first chapter focuses on Q-curves, and on the morphisms Gal(Q/Q) -> PGL2(Fp) that we can build with a Q-curve for every prime p. We prove that, under good hypotheses, for p large enough with respect to the discriminant of the definition field of the Q-curve, such a morphism is surjective, which solves a particular case of Serre's uniformity problem (still open in general). The main tools of the chapter are Mazur's method (based here on results of Ellenberg), Runge's method, and isogeny theorems, following the strategy of Bilu and Parent. The second chapter covers analytic estimates of weighted sums of L-function values of modular forms, in the fashion of techniques designed by Duke and Ellenberg. The initial goal of such a result is the application of Mazur's method in the first chapter. The third chapter is devoted to the search for generalisations of Runge's method for higherdimensional varieties. Here we prove anew a result of Levin inspired by this method, before proving an enhanced version called "tubular Runge", more generally applicable. In the perspective of studying integral points of modular varieties, we finally give an example of application of this theorem to the reduction of an abelian surface in a product of elliptic curves.

L'impression, bien qu'étant une technique ancienne pour la coloration de surfaces, a connu un progrès considérable ces dernières années essentiellement grâce à la révolution du numérique. Les professionnels souhaitant remplir les exigences en termes de qualité du rendu visuel de leurs clients veulent donc savoir dans quelle mesure des observateurs humains sont sensibles à la dégradation d'une image. De telles questions concernant la qualité perçue d'une image reproduite peuvent être séparées en deux sujets différents: La qualité de l'impression, comme la capacité d'un système d'impression à reproduire fidèlement l'image d'origine, et la qualité d'une image imprimée, résultant à la fois de la qualité de reproduction, mais aussi de la qualité même de l'image numérique d'origine. Ce premier concept repose sur une analyse physique de la façon dont l'image d'origine est dégradée lors de son transfert sur un support, et nous proposons de la coupler avec une analyse sensorielle, visant à évaluer des attributs perceptuels et leur donner une valeur sur une certaine échelle, déterminée par des échantillons de référence classés par un ensemble d'observateurs. Le second concept inclut cette dégradation due à l’impression mais aussi la qualité perçu de l’image d’origine, qui ne fait pas parti de notre étude. Notre approche consiste d'abord à définir les différents indices de qualité, basés sur des critères mesurables en utilisant des outils d'évaluation basés sur des algorithmes "objectifs" de traitement d'image et des modèles optiques, sur une image imprimée-scannée. Thèse réalisée au Laboratoire Hubert Curien / Printing, though an old technique for surface coloration, considerably progressed these last decades especially thanks to the digital revolution. Professionals who want to meet the demands in terms of quality regarding the visual rendering of their clients thus want to know to which extent human observers are sensitive to the degradation of an image. Such questions regarding the perceived quality of a reproduced image can be split into two different topics: the printing quality as capacity of a printing system of accurately reproduce an original digital image, and the printed image quality which results from both the reproduction quality and the quality of the original image itself. The first concept relies on physical analysis of the way the original image is deteriorated when transferred onto the support, and we propose to couple it with a sensorial analysis, which aims at assessing perceptual attributes by giving them a value on a certain scale, determined with respect to reference samples classified by a set of observers. The second concept includes the degradation due to the printing plus the perceived quality of the original image, not in the scope of this work. In this report, we focus on the printing quality concept. Our approach first consists in the definition of several printing quality indices, based on measurable criteria using assessment tools based on “objective” image processing algorithms and optical models on a printed-then-scanned image. PhD work made in Hubert Curien Laboratory