La conjecture de partitionnement des chemins

Soit G = (V, E) un graphe simple fini. Soit (a, b) un couple d’entiers positifs. On note par τ(G) le nombre de sommets d’un chemin d’ordre maximum dans G. Une partition (A,B) de V(G) est une (a,b)−partition si τ(⟨A⟩) ≤ a et τ(⟨B⟩) ≤ b. Si G possède une (a, b)−partition pour tout couple d’entiers positifs satisfaisant τ(G) = a+b, on dit que G est τ−partitionnable. La conjecture de partitionnement des chemins, connue sous le nom anglais de Path Partition Conjecture, cherche à établir que tout graphe est τ−partitionnable. Elle a été énoncée par Lovász et Mihók en 1981 et depuis, de nombreux chercheurs ont tenté de démontrer cette conjecture et plusieurs y sont parvenus pour certaines classes de graphes. Le présent mémoire rend compte du statut de la conjecture, en ce qui concerne les graphes non-orientés et ceux orientés.

Models and algorithms for the capacitated location-routing problem

Le problème de localisation-routage avec capacités (PLRC) apparaît comme un problème clé dans la conception de réseaux de distribution de marchandises. Il généralisele problème de localisation avec capacités (PLC) ainsi que le problème de tournées de véhicules à multiples dépôts (PTVMD), le premier en ajoutant des décisions liées au routage et le deuxième en ajoutant des décisions liées à la localisation des dépôts. Dans cette thèse on dévelope des outils pour résoudre le PLRC à l’aide de la programmation mathématique. Dans le chapitre 3, on introduit trois nouveaux modèles pour le PLRC basés sur des flots de véhicules et des flots de commodités, et on montre comment ceux-ci dominent, en termes de la qualité de la borne inférieure, la formulation originale à deux indices [19]. Des nouvelles inégalités valides ont été dévelopées et ajoutées aux modèles, de même que des inégalités connues. De nouveaux algorithmes de séparation ont aussi été dévelopés qui dans la plupart de cas généralisent ceux trouvés dans la litterature. Les résultats numériques montrent que ces modèles de flot sont en fait utiles pour résoudre des instances de petite à moyenne taille. Dans le chapitre 4, on présente une nouvelle méthode de génération de colonnes basée sur une formulation de partition d’ensemble. Le sous-problème consiste en un problème de plus court chemin avec capacités (PCCC). En particulier, on utilise une relaxation de ce problème dans laquelle il est possible de produire des routes avec des cycles de longueur trois ou plus. Ceci est complété par des nouvelles coupes qui permettent de réduire encore davantage le saut d’intégralité en même temps que de défavoriser l’apparition de cycles dans les routes. Ces résultats suggèrent que cette méthode fournit la meilleure méthode exacte pour le PLRC. Dans le chapitre 5, on introduit une nouvelle méthode heuristique pour le PLRC. Premièrement, on démarre une méthode randomisée de type GRASP pour trouver un premier ensemble de solutions de bonne qualité. Les solutions de cet ensemble sont alors combinées de façon à les améliorer. Finalement, on démarre une méthode de type détruir et réparer basée sur la résolution d’un nouveau modèle de localisation et réaffectation qui généralise le problème de réaffectaction [48].

Les marques du diable et les signes de l'Autre : rhétorique du dire démonologique à la fin de la Renaissance

Comment le motif de la marque insensible du diable a-t-il pu se frayer un chemin au sein du discours théologique, juridique et médical de la fin de la Renaissance jusqu'à s'imposer comme une pièce essentielle du crime de sorcellerie? Selon quels mécanismes et à partir de quels systèmes de croyance cette marque corporelle en est-elle venue à connaître une si large diffusion et une aussi grande acceptation tant chez les gens du livres que parmi les couches populaires? En cette époque marquée par la grande chasse aux sorcières et le développement de l'investigation scientifique, l'intérêt que les savants portent à cette étrange sémiologie constitue une porte d'accès privilégiée pour aborder de front la dynamique du déplacement des frontières que la démonologie met en oeuvre au sein des différents champs du savoir. Cette thèse a pour objectif d'étudier le réseau des mutations épistémologiques qui conditionne l'émergence de la marque du diable dans le savoir démonologique français à la charnière des XVIe et XVIIe siècles. Nous examinerons par quels cheminements l'altérité diabolique s'est peu à peu intériorisée dans le corps et l'âme des individus sous l'influence grandissante des vertus de l'empirisme, de la méthode expérimentale et de l'observation. En analysant la construction rhétorique de la théorie des marques du diable et en la reliant aux changements qui s'opèrent sur la plateforme intellectuelle de l'Ancien Régime, nous entendons éclairer la nouvelle distribution qui s'effectue entre les faits naturels et surnaturels ainsi que les modalités d'écriture pour en rendre compte.

Tracés de Proust, itinéraires maternels : la grand-mère dans « À la recherche du temps perdu ».

Le seul vrai livre, pour Proust, est la traduction des impressions perdues dont la trace subsiste dans notre mémoire sensible. Les personnages entrent dans le texte de la Recherche en frappant la sensibilité du héros. Or, « toujours déjà là, » la grand-mère, comme la mère, relève d'une réalité qui ne s'est jamais imprimée, une réalité antérieure à la conscience du narrateur et de ce fait, antérieure au texte. Néanmoins, la grand-mère est une mère qui vieillit et qui meurt. Alors, elle apparaît au narrateur, suivant ainsi le chemin inverse de l'altérité. De présence immédiate pour le héros, il lui faudra devenir autre, une vieille femme étrangère, indéfinie dans son geste vers la mort, afin que le texte lui restitue une première impression. C'est précisément dans cette distance à parcourir, cet itinéraire entre l'immédiateté du départ et la première impression, que la spécificité du personnage de la grand-mère touche à ce que Proust qualifierait lui-même de « névralgie » de son texte. La réalité maternelle, pour devenir objet du style littéraire, doit se plier au trait de l'écrivain. Or, le personnage de mère, telle qu'il est élaboré dans la Recherche, résiste à ce « fléchissement ». Le personnage de grand-mère permet à Proust d'exprimer la réalité de la mère qui se dégrade et qui meurt, une mère que la main du fils devenant écrivain rend malléable.

Enantiopure 3-substituted piperidines via an aziridinium ion ring expansion

Ce mémoire décrit le développement d’une nouvelle méthodologie d’expansion de cycle irréversible à partir de N-alkyl-3,4-déhydroprolinols pour former des N-alkyl tétrahydropyridines 3-substituées en passant par un intermédiaire aziridinium bicyclique. Cette méthode permet l’introduction d’un vaste éventail de substituants à la position 3 et tolère bien la présence de groupements aux positions 2 et 6, donnant accès à des pipéridines mono-, di- ou trisubstituées avec un excellent diastéréocontrôle. De plus, il est démontré que l’information stéréogénique du 3,4-déhydroprolinol de départ est totalement transférée vers le produit tétrahydropyridine. Additionnellement, une méthodologie fut dévelopée pour la préparation des produits de départ 3,4-déhydroprolinols en forme énantiopure, avec ou sans substituants aux positions 2 et 5, avec un très bon stéréocontrôle. Le premier chapitre présente un résumé de la littérature sur le sujet, incluant un bref survol des méthodes existantes pour la synthèse de pipéridines 3-substituées, ainsi qu’une vue d’ensemble de la chimie des aziridiniums. L’hypothèse originale ainsi que le raisonnement pour l’entreprise de ce projet y sont également inclus. Le second chapitre traite de la synthèse des N-alkyl-3,4-déhydroprolinols utilisés comme produits de départ pour l’expansion de cycle vers les tétrahydropyridines 3-substituées, incluant deux routes synthétiques différentes pour leur formation. Le premier chemin synthétique utilise la L-trans-4-hydroxyproline comme produit de départ, tandis que le deuxième est basé sur une modification de la réaction de Petasis-Mannich suivie par une métathèse de fermeture de cycle, facilitant l’accès aux précurseurs pour l’expansion de cycle. Le troisième chapitre présente une preuve de concept de la viabilité du projet ainsi que l’optimisation des conditions réactionnelles pour l’expansion de cycle. De plus, il y est démontré que l’information stéréogénique des produits de départs est transférée vers les produits. iv Au quatrième chapitre, l’étendue des composés pouvant être synthétisés par cette méthodologie est présentée, ainsi qu’une hypothèse mécanistique expliquant les stéréochimies relatives observées. Une synthèse énantiosélective efficace et divergente de tétrahydropyridines 2,3-disubstituées est également documentée, où les deux substituants furent introduits à partir d’un intermédiaire commun en 3 étapes.

La logique et les logiques : la question du pluralisme

Partant des travaux séminaux de Boole, Frege et Russell, le mémoire cherche à clarifier l‟enjeu du pluralisme logique à l‟ère de la prolifération des logiques non-classiques et des développements en informatique théorique et en théorie des preuves. Deux chapitres plus « historiques » sont à l‟ordre du jour : (1) le premier chapitre articule l‟absolutisme de Frege et Russell en prenant soin de montrer comment il exclut la possibilité d‟envisager des structures et des logiques alternatives; (2) le quatrième chapitre expose le chemin qui mena Carnap à l‟adoption de la méthode syntaxique et du principe de tolérance, pour ensuite dégager l‟instrumentalisme carnapien en philosophie de la Logique et des mathématiques. Passant par l‟analyse d‟une interprétation intuitive de la logique linéaire, le deuxième chapitre se tourne ensuite vers l‟établissement d‟une forme logico-mathématique de pluralisme logique à l‟aide de la théorie des relations d‟ordre et la théorie des catégories. Le troisième chapitre délimite le terrain de jeu des positions entourant le débat entre monisme et pluralisme puis offre un argument contre la thèse qui veut que le conflit entre logiques rivales soit apparent, le tout grâce à l‟utilisation du point de vue des logiques sous-structurelles. Enfin, le cinquième chapitre démontre que chacune des trois grandes approches au concept de conséquence logique (modèle-théorétique, preuve-théorétique et dialogique) forme un cadre suffisamment général pour établir un pluralisme. Bref, le mémoire est une défense du pluralisme logique.

Rôle du cortex pariétal postérieur dans le processus d'intégration visuomotrice - connexions anatomiques avec le cortex moteur et activité cellulaire lors de la locomotion chez le chat

La progression d’un individu au travers d’un environnement diversifié dépend des informations visuelles qui lui permettent d’évaluer la taille, la forme ou même la distance et le temps de contact avec les obstacles dans son chemin. Il peut ainsi planifier en avance les modifications nécessaires de son patron locomoteur afin d’éviter ou enjamber ces entraves. Ce concept est aussi applicable lorsque le sujet doit atteindre une cible, comme un prédateur tentant d’attraper sa proie en pleine course. Les structures neurales impliquées dans la genèse des modifications volontaires de mouvements locomoteurs ont été largement étudiées, mais relativement peu d’information est présentement disponible sur les processus intégrant l’information visuelle afin de planifier ces mouvements. De nombreux travaux chez le primate suggèrent que le cortex pariétal postérieur (CPP) semble jouer un rôle important dans la préparation et l’exécution de mouvements d’atteinte visuellement guidés. Dans cette thèse, nous avons investigué la proposition que le CPP participe similairement dans la planification et le contrôle de la locomotion sous guidage visuel chez le chat. Dans notre première étude, nous avons examiné l’étendue des connexions cortico-corticales entre le CPP et les aires motrices plus frontales, particulièrement le cortex moteur, à l’aide d’injections de traceurs fluorescents rétrogrades. Nous avons cartographié la surface du cortex moteur de chats anesthésiés afin d’identifier les représentations somatotopiques distales et proximales du membre antérieur dans la partie rostrale du cortex moteur, la représentation du membre antérieur située dans la partie caudale de l’aire motrice, et enfin la représentation du membre postérieur. L’injection de différents traceurs rétrogrades dans deux régions motrices sélectionnées par chat nous a permis de visualiser la densité des projections divergentes et convergentes pariétales, dirigées vers ces sites moteurs. Notre analyse a révélé une organisation topographique distincte de connexions du CPP avec toutes les régions motrices identifiées. En particulier, nous avons noté que la représentation caudale du membre antérieur reçoit majoritairement des projections du côté rostral du sillon pariétal, tandis que la partie caudale du CPP projette fortement vers la représentation rostrale du membre antérieur. Cette dernière observation est particulièrement intéressante, parce que le côté caudal du sillon pariétal reçoit de nombreux inputs visuels et sa cible principale, la région motrice rostrale, est bien connue pour être impliquée dans les fonctions motrices volontaires. Ainsi, cette étude anatomique suggère que le CPP, au travers de connexions étendues avec les différentes régions somatotopiques du cortex moteur, pourrait participer à l’élaboration d’un substrat neural idéal pour des processus tels que la coordination inter-membre, intra-membre et aussi la modulation de mouvements volontaires sous guidage visuel. Notre deuxième étude a testé l’hypothèse que le CPP participe dans la modulation et la planification de la locomotion visuellement guidée chez le chat. En nous référant à la cartographie corticale obtenue dans nos travaux anatomiques, nous avons enregistré l’activité de neurones pariétaux, situés dans les portions des aires 5a et 5b qui ont de fortes connexions avec les régions motrices impliquées dans les mouvements de la patte antérieure. Ces enregistrements ont été effectués pendant une tâche de locomotion qui requiert l’enjambement d’obstacles de différentes tailles. En dissociant la vitesse des obstacles de celle du tapis sur lequel le chat marche, notre protocole expérimental nous a aussi permit de mettre plus d’emphase sur l’importance de l’information visuelle et de la séparer de l’influx proprioceptif généré pendant la locomotion. Nos enregistrements ont révélé deux groupes de cellules pariétales activées en relation avec l’enjambement de l’obstacle: une population, principalement située dans l’aire 5a, qui décharge seulement pendant le passage du membre au dessus del’entrave (cellules spécifiques au mouvement) et une autre, surtout localisée dans l’aire 5b, qui est activée au moins un cycle de marche avant l’enjambement (cellules anticipatrices). De plus, nous avons observé que l’activité de ces groupes neuronaux, particulièrement les cellules anticipatrices, était amplifiée lorsque la vitesse des obstacles était dissociée de celle du tapis roulant, démontrant l’importance grandissante de la vision lorsque la tâche devient plus difficile. Enfin, un grand nombre des cellules activées spécifiquement pendant l’enjambement démontraient une corrélation soutenue de leur activité avec le membre controlatéral, même s’il ne menait pas dans le mouvement (cellules unilatérales). Inversement, nous avons noté que la majorité des cellules anticipatrices avaient plutôt tendance à maintenir leur décharge en phase avec l’activité musculaire du premier membre à enjamber l’obstacle, indépendamment de sa position par rapport au site d’enregistrement (cellules bilatérales). Nous suggérons que cette disparité additionnelle démontre une fonction diversifiée de l’activité du CPP. Par exemple, les cellules unilatérales pourraient moduler le mouvement du membre controlatéral au-dessus de l’obstacle, qu’il mène ou suive dans l’ordre d’enjambement, tandis que les neurones bilatéraux sembleraient plutôt spécifier le type de mouvement volontaire requis pour éviter l’entrave. Ensembles, nos observations indiquent que le CPP a le potentiel de moduler l’activité des centres moteurs au travers de réseaux corticaux étendus et contribue à différents aspects de la locomotion sous guidage visuel, notamment l’initiation et l’ajustement de mouvements volontaires des membres antérieurs, mais aussi la planification de ces actions afin d’adapter la progression de l’individu au travers d’un environnement complexe.

L'En-Amour, dialogue avec l'oeuvre de Colette

Cet essai fut écrit sur le mode de la promenade, d’une promenade accompagnée par les voix, des voix. Parmi elles, celle de Colette, de certains de ses personnages, celles contenues en moi. L’écriture a été libre, a tenté de l’être au moins, en se séparant de l’idée qu’un but précis, qu’une destination finale devait être atteinte. Il s’agissait de me laisser guider par l’errance des mots, par le rythme que prend la plume quand elle pense. De Colette, je ne dis rien, ou presque. Mon but étant de l’entendre, c’est en tant que lectrice que j’ai pris place dans cette réflexion, lectrice amoureuse, c’est-à-dire, guidée par l’En-Amour, conçu comme personnage conceptuel. C’est donc de ce point de vue que les textes ont été abordés, afin de laisser place à la vie, à la mouvance, à ce qui grouille dans l’œuvre colettienne. De cette manière, il me semblait possible d’entrer réellement en relation avec les personnages, mais aussi avec la représentation que je me faisais de l’auteure. Il me fallait garder la poésie de l’écriture de Colette, y entrelacer la mienne et tenter ainsi de donner des mots à une sorte de silencieuse oralité. Et le chemin s’est poursuivi, jusqu’à une vérité relative, vérité de l’En-Amour, donnée et mise en forme par les récits colettiens et leurs sous-entendus. De cette façon, je voyais la possibilité de redonner foi et valeur au(x) discours amoureux comme potentiel(s) de vérité.

C’est ici que le verbe habiter s’est déchiré ; suivi de Sudbury : l’habitabilité de la poésie chez Patrice Desbiens

Composé de fragments narratifs et poétiques, C’est ici que le verbe habiter s’est déchiré retrace le parcours d’un jeune homme de retour dans sa ville natale, Québec. En déambulant à travers les rues, mais également à travers sa propre mémoire, le narrateur trouvera sur son chemin le point de rupture entre passé et présent. C’est ici que le verbe habiter s’est déchiré élabore une réflexion sur ces lieux et ces époques qui, même révolus, semblent ne jamais vouloir nous quitter, le tout dans une écriture où le silence est parfois aussi éloquent que la parole. Comme son nom l’indique, Sudbury : l’habitabilité de la poésie chez Patrice Desbiens est un essai traitant de la poésie comme espace d’habitation dans Sudbury de Patrice Desbiens, une œuvre mettant en scène le quotidien d’une petite ville du nord de l’Ontario. Face à ce lieu froid et désert où rien ne semble vouloir subsister, dans cette ville qu’il décrit à la fois comme factice, violente et inhabitable, Desbiens semble croire que seule l’écriture est authentique et porteuse d’une vérité. Dès lors, en signant son recueil Sudbury, le nom de cette ville qu’il habite, le poète ne se pose-t-il pas comme le véritable auteur des lieux? Ne donne-t-il pas un sens à ce qui, auparavant, en était dépourvu? N’y a-t-il pas, au final, substitution de l’espace urbain oppressant par celui, plus hospitalier, de la poésie?

Le Quatrième siècle d'Édouard Glissant : écrire l'enracinement. Figures, parcours et enjeux

Le roman Le Quatrième siècle, considéré comme un pilier de l’œuvre de l’écrivain martiniquais Édouard Glissant, est une réinvention du passé et de l’histoire des Antilles, tout en présentant une dimension moins étudiée : celle de l’enracinement dans le nouveau pays, de la création d’une communauté singulière et métissée. Glissant suggère que, malgré l’abolition de l’esclavage, beaucoup de chemin reste encore à faire et que la construction d’une identité passe par des ancrages solides et multiples dans le pays. Afin d’explorer ce thème, cette étude analyse la construction du parcours figuratif de l’enracinement dans Le Quatrième siècle. L’étude de divers personnages et de certains éléments du paysage, en particulier la mer, les mornes et la plaine, permettent de mieux cerner l’écriture de l’enracinement dans cette œuvre. En effet, par le biais de l’onomastique, des figures emblématiques de la colonisation, de la déconstruction des relations de pouvoir et du symbolisme de l’espace, Glissant met en scène les limites du marronnage, créant plutôt un imaginaire centré sur la définition de la collectivité à travers un lent processus d’enracinement et d’appropriation de l’espace.

Les trajectoires socioprofessionnelles des nouveaux arrivants, travailleurs qualifiés au Québec : qu'est-ce qu'une «intégration réussie»?

Les études qui portent sur l’intégration professionnelle des travailleurs immigrants s’intéressent majoritairement aux résultats des acteurs sur le marché du travail ou à leur parcours d’intégration en mettant l’accent sur les barrières à l’intégration, plus rarement sur les stratégies des acteurs. Peu d’études s’intéressent aux trajectoires des travailleurs qualifiés qui ont réussi leur intégration socioprofessionnelle depuis une perspective centrée sur leur expérience subjective. Notre étude se situe résolument dans une approche micro-individuelle, donc, centrée sur les acteurs, ici, de nouveaux immigrants, travailleurs qualifiés, en processus d’intégration. Elle porte sur le déroulement de leur processus d’intégration, depuis leur décision d’immigrer jusqu’à la situation actuelle, après 5 à 10 ans passés au Québec. Notre perspective, axée sur l’expérience individuelle de l’immigrant, visait en même temps à relier les facteurs micro, macro et meso sociaux interagissant continuellement pour produire des trajectoires d’intégration uniques. Cette recherche qualitative, inspirée par le courant de la sociologie clinique, analyse les trajectoires socioprofessionnelles de sujets qui occupaient au moment de l’entrevue des emplois qualifiés, situés minimalement au niveau de leur diplôme. Elle portait sur la situation pré-migratoire : les motifs de départ, le choix de la destination; puis le parcours d’intégration socioprofessionnelle au Québec et finalement la situation actuelle du point de vue des objectifs et de la satisfaction personnelle des sujets. Il nous importait de mettre en lumière l’expérience personnelle d’intégration vue depuis la perspective subjective des acteurs. Ce faisant, nous avons étudié l’agentivité des travailleurs qualifiés qui se sont posés en tant qu’acteurs actifs et réflexifs face aux déterminant sociaux et limitations qui pesaient sur eux. Une deuxième question de recherche reliée à celle des trajectoires portait sur le regard subjectif des sujets sur l’intégration. Nous avons voulu savoir ce que c’est pour chacun que l’« intégration réussie » (au Québec) et l’intégration professionnelle « réussie ». De cette façon, il devient possible de révéler la diversité des positions et des perceptions individuelles des sujets quant à la question de l’intégration sans présumer du ou des résultats possibles de leur cheminement. Nos résultats révèlent la diversité des attentes individuelles face à l’immigration et à l’intégration dans le pays de destination et donc, ils nous invitent à tenir compte de la particularité de chaque sujet. L’immigration et l’intégration s’inscrivent pour les sujets dans une démarche individuelle plus large, celle de la réalisation de leurs projets de vie. Ces projets se situent à plusieurs niveaux et leur réalisation agit comme un guide des démarches individuelles qui visent à atteindre une vie qui s’avère satisfaisante, réussie, pleine ou complète, selon les acteurs. Il nous a été possible de rendre visibles les efforts que les acteurs ont déployés et déploient pour accomplir leurs projets et poursuivre leur chemin vers la réalisation de soi. Notre recherche a démontré qu’il est nécessaire de tenir compte tant de la subjectivité et des différences entre les acteurs au moment d’analyser leurs parcours que des résultats de leur intégration afin de concevoir des programmes qui intègrent davantage la complexité des processus en marche. Au final, il s’agit de contribuer plus efficacement à ce que les diverses expériences d’immigration et d’intégration soient « réussies ».

Émanation et métaphysique de la lumière dans Vérité et méthode de Gadamer

Ma thèse montre la présence et le rôle de la métaphysique dans Vérité et méthode. Elle tente de démontrer que Gadamer s'inspire du néoplatonisme pour surmonter le subjectivisme de la modernité et propose une métaphysique à cette fin. Après avoir expliqué comment Gadamer se réapproprie l’héritage de la pensée grecque pour critiquer la modernité en situant son interprétation de Platon par rapport à celle de Heidegger, je montre que Gadamer s’approprie la conception de l’être de Plotin de façon telle qu’il peut s’y appuyer pour penser l’autoprésentation de l’être dans l’expérience herméneutique de la vérité. L’art va, pour ce faire, redevenir sous la conduite du néoplatonisme source de vérité. Gadamer redonne en effet une dignité ontologique à l’art grâce à la notion d’émanation, notion qui permet de penser qu’il y a une présence réelle du représenté dans sa représentation, celle-ci émanant du représenté sans l’amoindrir, mais lui apportant au contraire un surcroît d’être. La notion d’émanation permet ensuite à Gadamer d’affirmer le lien indissoluble qui unit les mots aux choses. En effet, la doctrine du verbe intérieur de Thomas d’Aquin implique ce lien que Platon avait occulté en réduisant le langage, comme la logique, à n’être qu’un instrument de domination du réel. L’utilisation de la notion néoplatonicienne d’émanation permet donc de dépasser la philosophie grecque du logos et de mieux rendre compte de l’être de la langue. Je montre ensuite comment Gadamer radicalise sa pensée en affirmant que l’être qui peut être compris est langage, ce qui veut dire que l’être, comme chez Plotin, est autoprésentation de soi-même. Pour ce faire, Gadamer rattache l’être du langage à la métaphysique néoplatonicienne de la lumière. Les dernières pages de Vérité et méthode rappellent en effet que la splendeur du beau est manifestation de la vérité de l’être. On rattachera alors le concept de vérité herméneutique à ses origines métaphysiques. La vérité est une manifestation de l’être dont on ne peut avoir part que si on se laisse submerger par sa lumière. Loin d’être affaire de contrôle méthodique, l’expérience de la vérité exige de se laisser posséder par ce qui est à comprendre. Je démontre ainsi que Gadamer a découvert dans le néoplatonisme des éléments permettant de s’opposer à la dictature du sujet moderne, dictature qui doit être renversée, car elle masque le réel rapport de l’homme à la vérité en faisant abstraction de la finitude de son existence concrète. La critique du subjectivisme moderne sous la conduite du néoplatonisme ouvre ainsi le chemin vers une métaphysique de la finitude.

Right to asylum and border control : implications of european union policies on access to EU territory of people in need of international protection

Depuis plusieurs années, les États membres de l’Union européenne (UE) se soumettent à des politiques restrictives, en matière d’asile, qui les contraignent à respecter leur engagement de protéger les personnes qui fuient la persécution. Plusieurs politiques de dissuasion de l’UE sont controversées. Certaines ont d’abord été élaborées dans différents États, avant que l’UE ne mette en place une politique commune en matière d’asile. Certaines des ces politiques migratoires ont été copiées, et ont un effet négatif sur la transformation des procédures d’asile et du droit des réfugiés dans d’autres pays, tel le Canada. En raison des normes minimales imposées par la législation de l’UE, les États membres adoptent des politiques et instaurent des pratiques, qui sont mises en doute et sont critiquées par l’UNHCR et les ONG, quant au respect des obligations internationales à l'égard des droits de la personne. Parmi les politiques et les pratiques les plus critiquées certaines touchent le secteur du contrôle frontalier. En tentant de remédier à l’abolition des frontières internes, les États membres imposent aux demandeurs d’asile des barrières migratoires quasi impossibles à surmonter. Les forçant ainsi à s’entasser dans des centres de migration, au nord de l’Afrique, à rebrousser chemin ou encore à mourir en haute mer.

Automates à contraintes semilinéaires = Automata with a semilinear constraint

Cette thèse présente une étude dans divers domaines de l'informatique théorique de modèles de calculs combinant automates finis et contraintes arithmétiques. Nous nous intéressons aux questions de décidabilité, d'expressivité et de clôture, tout en ouvrant l'étude à la complexité, la logique, l'algèbre et aux applications. Cette étude est présentée au travers de quatre articles de recherche. Le premier article, Affine Parikh Automata, poursuit l'étude de Klaedtke et Ruess des automates de Parikh et en définit des généralisations et restrictions. L'automate de Parikh est un point de départ de cette thèse; nous montrons que ce modèle de calcul est équivalent à l'automate contraint que nous définissons comme un automate qui n'accepte un mot que si le nombre de fois que chaque transition est empruntée répond à une contrainte arithmétique. Ce modèle est naturellement étendu à l'automate de Parikh affine qui effectue une opération affine sur un ensemble de registres lors du franchissement d'une transition. Nous étudions aussi l'automate de Parikh sur lettres: un automate qui n'accepte un mot que si le nombre de fois que chaque lettre y apparaît répond à une contrainte arithmétique. Le deuxième article, Bounded Parikh Automata, étudie les langages bornés des automates de Parikh. Un langage est borné s'il existe des mots w_1, w_2, ..., w_k tels que chaque mot du langage peut s'écrire w_1...w_1w_2...w_2...w_k...w_k. Ces langages sont importants dans des domaines applicatifs et présentent usuellement de bonnes propriétés théoriques. Nous montrons que dans le contexte des langages bornés, le déterminisme n'influence pas l'expressivité des automates de Parikh. Le troisième article, Unambiguous Constrained Automata, introduit les automates contraints non ambigus, c'est-à-dire pour lesquels il n'existe qu'un chemin acceptant par mot reconnu par l'automate. Nous montrons qu'il s'agit d'un modèle combinant une meilleure expressivité et de meilleures propriétés de clôture que l'automate contraint déterministe. Le problème de déterminer si le langage d'un automate contraint non ambigu est régulier est montré décidable. Le quatrième article, Algebra and Complexity Meet Contrained Automata, présente une étude des représentations algébriques qu'admettent les automates contraints et les automates de Parikh affines. Nous déduisons de ces caractérisations des résultats d'expressivité et de complexité. Nous montrons aussi que certaines hypothèses classiques en complexité computationelle sont reliées à des résultats de séparation et de non clôture dans les automates de Parikh affines. La thèse est conclue par une ouverture à un possible approfondissement, au travers d'un certain nombre de problèmes ouverts.

Multiplicité des contrats électroniques

La recherche de la vérité en droit est une quête constante, tant dans le monde réel que dans le monde virtuel. Cependant se pose la question de savoir comment trouver cette vérité: est-ce par le biais de la preuve que celle-ci soit le fruit d’une préconstitution ou d’une présomption ou est-ce par le recours à la fiction afin de combler une lacune ou en vue de répondre à une besoin de sécurité. C’est sur ce chemin que l’auteure nous livre ses analyses et commentaires quant à la recherche de la vérité quant à la fonction de la norme technique dans la mise en œuvre du droit.