Pourquoi le locuteur italien a-t-il assimilé la structure phonique calidus comme caldo ? Quels mécanismes sont intervenus dans le processus d’apprentissage de cette phonie d’une langue à l’autre ? Notre réflexion nous a conduit sur le terrain de la nature du langage et des lois qui en règlent le psychisme de formation. Nous montrons que les mots sont des totalités phoniques composés de parties articulées générées par des voix significatives κατὰ συνθήκην (katá synthêkên), « par composition » et non pas « par convention ». Si on considère le langage comme un instrument de représentation indirecte guidant le locuteur, par les signes, jusqu’à la connaissance directe (la représentation) d’un savoir immédiat, dans un rapport direct au monde, et si on accepte le fait que nous percevons de façon gestaltique le signifiant linguistique dans un acte de parole, et non pas sa représentation phénoménique, c’est-à-dire que l’acte de parole est une structure bien organisée dont la perception procède du tout vers les parties, alors le processus de la composition devient l’instrument par lequel les mots se transforment en structures à arbitraire limité. Nous fondons notre travail sur les mécanismes guillaumiens que la pensée réalise afin de saisir elle-même et dont la langue offre une fidèle reproduction : le mouvement de généralisation et de particularisation, ou, au sens de Bühler, le mot considéré comme un visage phonique, avec sa physionomie acoustique. Devant l’impossibilité d’identifier les limitations de l’arbitraire dans un paradigme purement formel, il devient nécessaire de considérer le signe linguistique dans la réalité psychophysique des locuteurs. / Why the Italian speaker did assimilate the phonic structure calidus like caldo? Which mechanisms intervened in the process of training of this phone from one language to another? Our reflection led us on the ground of the nature of the language and the laws which regulate the psychism of formation of it. We show that the words are phonic totalities composed of articulated parts generated by significant voices κατὰ συνθήκην (katá synthêkên), “by composition” and not “by convention”. If it's considered the language as an instrument of indirect representation guiding the speaker, by the signs, until the direct knowledge (the representation) of an immediate knowledge, in a direct report in the world, and if the fact is accepted that we perceive in a gestaltic way meaning it linguistic in a his phenomenic representation and act of speech, not, i.e. the act of speech is a well organized structure whose perception proceeds of the whole towards the parts, then the process of the composition becomes the instrument by which the words change of structures with arbitrary limited. We base our work on the mechanisms guillaumiens that the thought realizes in order to seize itself and whose language offers a faithful reproduction: the movement of generalization and particularization, or, within the meaning of Bühler, the word considered as a phonic face, with its acoustic aspect. In front of impossibility of identifying the limitations of arbitrary in a purely formal paradigm, it becomes necessary to consider the linguistic sign in the psychophysical reality of the speakers.

Nous étudions comment faciliter la réutilisation des <br />preuves formelles en théorie des types. Nous traitons cette question <br />lors de l'étude <br />de la correction du programme de calcul de la racine carrée de GMP. <br />A partir d'une description formelle, nous construisons <br />un programme impératif avec l'outil Correctness. Cette description <br />prend en compte tous les détails de l'implantation, y compris <br />l'arithmétique de pointeurs utilisée et la gestion de la mémoire. <br />Nous étudions aussi comment réutiliser des preuves formelles lorsque<br />l'on change la représentation concrète des données. <br />Nous proposons un outil qui permet d'abstraire <br />les propriétés calculatoires associées à un type inductif dans<br />les termes de preuve.<br />Nous proposons également des outils pour simuler ces propriétés<br />dans un type isomorphe. Nous pouvons ainsi passer, systématiquement,<br />d'une représentation des données à une autre dans un développement<br />formel.

Les systèmes informatiques permettent d'évaluer des fonctions numériques telles que f = exp, sin, arccos, etc. Cette thèse s'intéresse au processus d'implémentation de ces fonctions. Suivant la cible visée (logiciel ou matériel, faible ou grande précision), les problèmes qui se posent sont différents, mais l'objectif est toujours d'obtenir l'implémentation la plus efficace possible. Nous étudions d'abord, à travers un exemple, les problèmes qui se posent dans le cas où la précision est arbitraire. Lorsque, à l'inverse, la précision est connue d'avance, la fonction f est souvent remplacée par un polynôme d'approximation p. Un tel polynôme peut ensuite être évalué très efficacement en machine. En pratique, les coefficients de p doivent être représentables sur un nombre fini donné de bits. Nous proposons un ensemble d'algorithmes (certains sont heuristiques, d'autres rigoureux) pour trouver de très bons polynômes d'approximation répondant à cette contrainte. Ces résultats s'étendent au cas où la fonction d'approximation est une fraction rationnelle. Une fois p trouvé, il faut prouver que l'erreur |p-f| n'excède pas un certain seuil. La nature particulière de la fonction p-f (soustraction de deux fonctions très proches) rend cette propriété difficile à prouver rigoureusement. Nous proposons un algorithme capable de contourner cette difficulté. Tous ces algorithmes ont été intégrés au logiciel Sollya, développé pendant la thèse. À l'origine conçu pour faciliter l'implémentation de fonctions, ce logiciel s'adresse à présent à toute personne souhaitant faire des calculs numériques dans un cadre complètement fiable.

Cette thèse est motivée par la modélisation et la simulation numérique des phénomènes d'interaction fluide-structure autour de valves cardiaques. L'interaction avec la paroi des vaisseaux est traitée avec une formulation Arbitraire Lagrange Euler (ALE), tandis que l'interaction avec les valves est traitée à l'aide de multiplicateurs de Lagrange, dans une formulation de type Domaines Fictifs (FD). Après une présentation de synthèse des diverses méthodes utilisées en interaction fluide-structure dans les écoulements sanguins, nous décrivons une méthode permettant de simuler la dynamique d'une valve immergée dans un écoulement visqueux incompressible. L'algorithme de couplage est partionné, ce qui permet de conserver des solveurs fluides et structures indépendants. Le maillage du fluide est mobile pour suivre la paroi des vaisseaux, mais indépendant du maillage des valves. Ceci autorise des très grands déplacements sans nécessiter de remaillage. Nous proposons une stratégie pour gérer le contact entre plusieurs valves. L'algorithme est totalement indépendant des solveurs de structures et est bien adapté au couplage fluide-structure partionné. Enfin, nous proposons un schéma de couplage semi-implicite permettant de mêler efficacement les formulations ALE et FD. Toutes les méthodes considérées sont accompagnées de nombreux tests numériques en 2D et 3D.

Ce travail, qui a été réalisé dans le cadre d'un projet européen, avait pour objectif de faire la simulation numérique de l'injection d'un alliage d'aluminium (A356) à l'état semi-solide. Pour atteindre cet objectif, nous avons travaillé sur deux principaux axes qui sont l'expérience et la simulation numérique. Sur le plan expérimental, l'objectif était de trouver une loi de comportement et ses paramètres pour caractériser le comportement de notre alliage à l'état semi-solide. Cette étude nous a conduit d'une part à passer en revue les différentes classes de loi disponibles dans la bibliographie et à utiliser une loi de comportement viscoplastique, et d'autre part à réaliser un nouveau test rhéologique, le test de l'écoulement de Stephan. Les résultats expérimentaux ont été satisfaisants et l'identification des paramètres a pu être faite, en utilisant une stratégie de type essai-erreur. Ceci nous a permis de trouver pour notre cas des paramètres en concordance avec ceux trouvés dans la bibliographie et d'obtenir un accord raisonnable entre simulation numérique et mesures sur l'ensemble des essais effectués. Sur le plan purement numérique, nous avons dans un premier temps adapté le code de calcul R3 à la mise en forme à l'état semi-solide. Ce travail nous a conduit à y introduire un module de contact matière/matière et à développer le module de contact matière/outil existant. Nous avons alors été confrontés au problème de préconditionnement de la matrice hessienne, dont le conditionnement est fortement dégradé par l'ajout de la condition de non-interpénétration du contact matière/matière. Ce problème a été résolu grâce à l'utilisation du préconditionneur par factorisation incomplète de Crout. Nous avons ensuite travaillé sur la formulation eulérienne lagrangienne arbitraire et sur la procédure de remaillage automatique. Malheureusement, ces travaux ne nous ont pas permis de pouvoir simuler jusqu'au bout le remplissage de pièces industrielles. Nous sommes alors passés dans un deuxième temps à une formulation eulérienne en utilisant le code de calcul Rem3D, initialement développé pour l'injection de thermoplastiques. Nous y avons introduit les termes d'inertie, ainsi que notre loi de comportement. Ce dernier code de calcul nous a alors permis de simuler l'injection de notre alliage d'aluminium à l'état semi-solide. Les résultats obtenus montrent une bonne concordance avec le procédé industriel et le logiciel peut constituer un outil précieux d'aide à la conception.

Traditionnellement, l'association lexicale préexistant au phénomène collocationnel est qualifiée d'arbitraire. Or en soumettant les collocations textuelles – CT – à l'analyse sémantico-discursive des possibles argumentatifs – PA –, modèle de description de la signification lexicale, non seulement cette association s'avère bien souvent argumentativement motivée, mais parfois prédictible. Aussi, nous postulons qu'une CT correspond potentiellement soit à une collocation argumentative, soit à une relation argumentative, soit enfin à une collocation arbitraire. Cette triple hypothèse a été testée sur le corpus électronique spécialisé TAL(N), grâce à une méthodologie pluridisciplinaire adaptée au caractère électronique des données (outils logiciels et Internet). Les résultats obtenus valident notre hypothèse par la présence équilibrée de collocations argumentatives et de relations argumentatives, comparée aux collocations arbitraires. Ces résultats nous confortent dans l'idée de reconsidérer le caractère arbitraire du principe d'association collocationnelle et nous permet d'en proposer une description en termes de blocs d'argumentations externes.

Cette thèse est motivée par la modélisation et la simulation numérique des phénomènes d'interaction fluide-structure autour de valves cardiaques. L'interaction avec la paroi des vaisseaux est traitée avec une formulation Arbitraire Lagrange Euler (ALE), tandis que l'interaction avec les valves est traitée à l'aide de multiplicateurs de Lagrange, dans une formulation de type Domaines Fictifs (FD). Après une présentation de synthèse des diverses méthodes utilisées en interaction fluide-structure dans les écoulements sanguins, nous décrivons une méthode permettant de simuler la dynamique d'une valve immergée dans un écoulement visqueux incompressible. L'algorithme de couplage est partitionné, ce qui permet de conserver des solveurs fluides et structures indépendants. Le maillage du fluide est mobile pour suivre la paroi des vaisseaux, mais indépendant du maillage des valves. Ceci autorise des très grands déplacements sans nécessiter de remaillage. Nous proposons une stratégie pour gérer le contact entre plusieurs valves. L'algorithme est totalement indépendant des solveurs de structures et est bien adapté au couplage fluide-structure partitionné. Enfin, nous proposons un schéma de couplage semi-implicite permettant de mêler efficacement les formulations ALE et FD. Toutes les méthodes considérées sont accompagnées de nombreux tests numériques en 2D et 3D.

Cette thèse jette un œil sceptique sur plusieurs théories courantes de l’état d’urgence. La plupart de ces théories de l’état d’urgence présupposent que la notion d'une « urgence » est claire, conceptuellement et pratiquement. J'argue que ceci n'est pas le cas et que cette certitude mal placée produit des problèmes pratiques et conceptuels avec ses théories. De plus, cette thèse démontre que cette certitude mal placée dans la clarté du concept de l'urgence mène les autorités gouvernementales à agir arbitrairement plutôt que selon des principes libéraux et démocratiques pendant des états d’urgence. Contre cette certitude mal placée et contre plusieurs théories contemporaines influentes des états d'urgence, j'offre une théorie rigoureuse et analytique du concept de l’« urgence. » Une fois que le concept de l'urgence est défini, et que cette conception est défendue, la thèse démontre les diverses manières dont les malentendus du concept, mènent aux utilisations arbitraires (de la puissance monopole de l'état) en situation d’urgence. En considérant les états d’urgences, comme événements rares, la thèse évite la tentation de les considérer comme événements exceptionnels capable de fragmenter l'ordre politique établi (comme d’autres théories le font). La thèse argue que les mesures prises par le gouvernent pendant l’état d’urgence devraient être compatibles plus généralement avec les valeurs démocratiques et libérales. En rejetant l'idée que les états d'urgence sont des événements exceptionnels, la thèse crée un espace conceptuel dans lequel des propositions plus constructives concernant la gestion des états d'urgence peuvent être entendues. De plus, en analysant les diverses manières dont les autorités gouvernementales utilisent leur forces de façon arbitraire pendant les états d’urgence, la thèse argue clairement pour la supervision institutionnelle accrue en ce qui concerne les procédures d’urgence et leur déploiement pendant des états d'urgence. En conclusion, la thèse argue que les démocraties libérales n'ont pas besoin de craindre les états d’urgences tandis que les démocraties libérales ont déjà les ressources requise pour administrer les états d’urgence. Contrairement à ce que d’autres théories l’état d'urgence recommandent, les démocraties libérales ont déjà les ressources institutionnelles et conceptuelles pour administrer les états d’urgences. / This dissertation casts a skeptical eye on theories of emergency government. It argues that far from being self-evident, most accounts of emergency government assume that the notion of an “emergency” is clear, both conceptually and practically. I argue that this is not the case and that this misplaced certainty generates both practical and conceptual problems. Further, this dissertation shows that this misplaced certainty in the clarity of the concept of emergency leads authorities to act arbitrarily rather than on principle in times of emergency. Against this misplaced certainty and against many influential contemporary accounts of states of emergency I offer a more perspicuous account of the concept of “emergency.” Once the concept of emergency is defined and defended, the dissertation proceeds to show the various ways in which misunderstandings of the concept lead to arbitrary uses of state power in emergencies. By closely examining the work of competing theories of emergency, the dissertation is able to reveal where these other theories go wrong. By viewing emergencies as rare events, the dissertation avoids the temptation to view them as exceptional events that sunder the established political order. Arguing that emergency measures should be compatible with liberal democratic values more generally, the dissertation makes the case for treating emergencies from within the ambit or existing liberal democratic institutional mechanisms as opposed to jettisoning these mechanisms as some other theorist recommend. In undermining the idea that states of emergency are exceptional events, the dissertation creates a conceptual space within which more constructive proposals pertaining to emergency management can be heard. Further, by unearthing the various ways in which state authorities arbitrarily employ power in emergencies, the dissertation makes clear the need for increased institutional oversight as concerns emergency powers and their deployment in emergencies. In conclusion, the dissertation advances that liberal democracies need not fear emergencies as much as they do and argues for the view that democracies already have the required resources for dealing with emergencies in an institutional manner that is both politically liberal and institutionally democratic. Against those skeptical of these resources, the dissertation offers comprehensive philosophical reasons for abandoning said skepticism.

Pour réduire les émissions de gaz polluants, les constructeurs automobiles cherchent à mieux contrôler le volume d'air introduit dans le moteur pour optimiser la combustion. Des dispositifs mécaniques ou hydrauliques couplés avec l'arbre à cames sont déjà en place dans certaines voitures et permettent des gains de 8 à 10% sur la consommation de carburant. L'utilisation d'un actionneur électromagnétique à la place de l'arbre à cames (application " camless ") pour commander les soupapes améliore nettement ce gain (15 à 20%). Les travaux de cette thèse consistent à modéliser une structure choisie, pour ensuite l'optimiser. Compte tenu des exigences de notre application et des contraintes d'environnement du moteur thermique, la modélisation doit être à la fois suffisamment précise et rapide pour estimer et améliorer les performances de l'actionneur. Pour la partie statique, nous avons opté pour un modèle réluctant 3D. Obtenu par extension de son homologue 2D, il reste rapide tout en donnant des résultats en accord avec les mesures. En régime transitoire, nous proposons une nouvelle approche analytique de la distribution des courants de Foucault, directement à partir de l'évolution du flux magnétique. L'équation de diffusion comporte alors des conditions aux limites de Neumann. Nous avons traité le cas d'un flux magnétique arbitraire grâce au théorème de Duhamel, ainsi que la saturation du matériau grâce à une approche semi-analytique.

En droit français, l’inamovibilité est traditionnellement conçue comme une garantie d’indépendance statutaire attribuée au magistrat du siège de l’ordre judiciaire, afin de le protéger contre le risque d’éviction arbitraire par le Pouvoir politique. Elle est ainsi supposée faire bénéficier le magistrat d’une protection exorbitante par rapport au droit commun de la fonction publique. Déjà considérée comme un « antique et tutélaire principe » au milieu du XIXe siècle, cette garantie a traversé le temps et les régimes politiques, depuis l’époque médiévale jusqu’à aujourd’hui. Erigée en Loi fondamentale du royaume à la veille de la Révolution, elle a été reprise et consacrée par la presque totalité des Constitutions qui se sont succédées depuis 1791. Mais alors qu’elle semble offrir l’image d’un modèle de garantie susceptible d’inspirer le statut d’autres catégories d’agents publics, l’inamovibilité est de manière paradoxale, souvent décrite comme un « mythe ». La présente étude se donne dès lors pour objet de lever cette contradiction, en revenant de manière approfondie et comparative sur la condition et la finalité d’une garantie d’éviction, dont la particularité est d’être étroitement liée à la mission régalienne consistant à rendre la justice. / In French Law, irremovability is traditionally seen as a statutory guarantee of judicial judges’ independence that protects them from being arbitrary evicted by the Political power. Irremovability is then said to be a dispensatory status if compared to public servants normal one. Defined as an « ancient and tutelary principle » at the middle of the 19th Century, this guarantee ran through the ages and the political regimes from medieval times to today. Irremovability of judges was made a Kingdom’s fundamental Law just before the Revolution, and almost every constitution adopted since 1791 has made it a constitutionally sanctioned rule. In the meantime, whereas it could have been seen as a template for other civil servants legal status, irremovability of judges is, paradoxically enough, often described as a « myth ». This study’s aim is thus to solve this contradiction. It offers an in-depth and comparative analysis of the condition and goal of this legal guarantee against eviction – which distinctive feature is to be closely linked with one of the State’s main function: to administer Justice.