Cette thèse propose une analyse de l’expression figée en tant que signe linguistique complexe, stable, variable et dynamique et en tant que problème de traduction à partir d’un corpus composé d’œuvres littéraires contemporaines françaises et de leurs traductions serbes. Le discours met en évidence la distance entre la signification du modèle et le sens de l’expression figée sémantiquement accomplie imbriquée dans le texte, dont l’une des réalisations est le défigement qui, lui, ne consiste simplement pas à renverser les critères syntaxiques, mais à élaborer un nouveau signifié de synthèse au service des stratégies discursives de l’énonciateur. Ce travail identifie les mécanismes linguistiques propres à l’expression figée et incontournables dans l’acte de traduire, ainsi que les incompatibilités entre les problèmes de sa traduction et certaines propriétés qui lui sont attribuées. Les problèmes que pose la traduction de l’expression figée dans le texte littéraire, dont elle façonne la progression narrative, excèdent la dichotomie entre la solution éthique et la solution ethnologique. Ils relèvent de la façon dans le locuteur établit le lien entre la conceptualisation inhérente à l’expression figée, elle-même construite sur la base des concepts préexistants - d’où l’image mentale et la charge connotative -, et la réalité à laquelle il l’applique. Sa traduction, eu égard à sa complexité pragma-sémantique, exige forcément une approche sourcière dans la phase interprétative et une solution cibliste. / This thesis proposes an analysis of a phraseme as a complex, stable, variable and dynamic linguistic sign, and as a translation problem based on a corpus of contemporary French literature and its Serbian translations. The discourse highlights the distance between the meaning of a model and the meaning of a phraseme that is semantically accomplished and embedded in a text. One of its possible realizations is a pun that does not only consist in transgressing the syntactic criteria but in developing a new global signified, serving the speaker’s discursive strategies. This work identifies linguistic mechanisms specific to lexical frozenness that are inevitable in the act of translation, and incompatibilities between the problems of translation and properties of a given phraseme. Its translation problems in a literary text, whose narrative progression it shapes, exceed the dichotomy between a domesticated translation and a foreignized translation. Translation problems result from the way in which the speaker establishes the link between the conceptualization inherent to a phraseme, built itself on the basis of pre-existing concepts - hence the mental image and the connotative surplus value - and the reality to which the speaker applies it. Its translation, given its pragma-semantic complexity, necessarily requires a source-oriented approach in the interpretative phase and a target-oriented solution.

Lors de la phase de rentrée atmosphérique d'une sonde spatiale, la paroi du corps est le siège de phénomènes physico-chimiques complexes. Nous nous intéressons dans cette thèse au cas où le matériau solide de l'objet de vol comporte plusieurs constituants s'ablatant de façon différentielle. En particulier, l'un de ces constituants subit un changement de phase donnant lieu à l'apparition d'une phase liquide. Nous sommes en présence de trois phases : solide, liquide et gaz. Les travaux effectués dans cette thèse correspondent au développement de méthodes numériques en 2D capables de modéliser les différentes interfaces en présence ainsi que l'évolution des fluides ou des matériaux séparés par celle-ci. L'enjeu principal de la thèse est de proposer des méthodes et des algorithmes de couplage pour l'écoulement diphasique, la thermique multimatériaux et les changements de phase (fusion et sublimation) / During atmospheric reentry phase of a spacecraft, its body surface is the seat of complex physico-chemical phenomena. We focus in this thesis on the case where the wall of the flying object has several components ablating differentially. In particular, one of those components undergoes a phase change giving the rise to the introduction of a liquid phase. We have three phases in the domain: solid, liquid and gas phases.The work done in this thesis corresponds to the development of 2D numerical methods which can modelize the different interfaces. The main issue of this thesis is to propose methods and algorithms for coupling the two-phase flow, multi-material heat problems and phase changes (melting and sublimation).

Nous traitons ici de questions d’effectivité dans les problèmes de Mordell-Lang et de Schanuel où la notion de hauteur algébrique joue un rôle central.Dans un premier temps nous revisitions la méthode de Vojta-Faltings dans un cadre général, en y incluant notamment un procédé de descente uniforme qui permet d’optimiser le nombre de recours au pesant mécanisme d’approximation diophantienne. Nous proposons ensuite une application de ce résultat au problème de Mordell-Lang plus Bogomolov dans le tore, qui consiste à décrire un sousensemble algébrique X comme réunion de translatés de sous-tores inclus dans X moyennant de se restreindre à un sous-groupe de rang fini épaissi. Nous nous appuyons en particulier sur un énoncé d’Amoroso et Viada concernant le problème de Bogomolov dans ce contexte et améliorons les bornes antérieures obtenues par Rémond.Dans un second temps, nous établissons une version du théorème de Schanuel dans le cadre d’un espace adélique hermitien sur un corps de nombres. Nous donnons une estimation asymptotique du nombre de points projectifs de hauteur bornée pour une hauteur définie par une famille de normes sur les complétés en chaque place, vérifiant certaines conditions mais sans hypothèse de pureté dans le cas ultramétrique. Le terme reste obtenu est totalement explicite et linéaire en le régulateur du corps de nombres grâce au recours à une méthode introduite par Schmidt. Nous traitons également plusieurs applications de ce résultat, notamment aux problèmes de Dedekind-Weber et de Loher-Masser. / We are dealing here with effectiveness matters about the Mordell-Lang and Schanuel problems where algebraic heights play a central role.At the first time, we modify the Vojta-Faltings method in a general context by including some uniform descending process which has the advantage to optimize the number of iterations of the heavy Diophantine approximation mechanism. We then propose an application to the toric Mordell-Lang plus Bogomolov problem whose aim is to describe an algebraic subset X as the union of translates of closed, irreducible subgroups included in X when restricted to some enlarged, finite rank subgroup. In particular we use a theorem of Amoroso and Viada about the Bogomolov problem in this context and we improve the previous bound given by Rémond.At the second time, we prove a version of the theorem of Schanuel in the setting of a Hermitian adelic vector bundle over a number field. We give an asymptotic estimate for the number of projective points of bounded height for heights given by a family of norms over the completions at each place, satisfying several conditions but no purity hypothesis in the ultrametric case. The error term is totally explicit and linear with respect to the regulator of the number field through the use of Schmidt’s method. We finally give some applications of our result in particular to the Dedekind-Weber and Loher-Masser problems.

L’introduction de dégradations lors du processus de formation d’images est un phénomène inévitable: les images souffrent de flou et de la présence de bruit. Avec les progrès technologiques et les outils numériques, ces dégradations peuvent être compensées jusqu’à un certain point. Cependant, la qualité des images acquises est insuffisante pour de nombreuses applications. Cette thèse contribue au domaine de la restauration d’images. La thèse est divisée en cinq chapitres, chacun incluant une discussion détaillée sur différents aspects de la restauration d’images. La thèse commence par une présentation générale des systèmes d’imagerie et pointe les dégradations qui peuvent survenir ainsi que leurs origines. Dans certains cas, le flou peut être considéré stationnaire dans tout le champ de vue et est alors simplement modélisé par un produit de convolution. Néanmoins, dans de nombreux cas de figure, le flou est spatialement variable et sa modélisation est plus difficile, un compromis devant être réalisé entre la précision de modélisation et la complexité calculatoire. La première partie de la thèse présente une discussion détaillée sur la modélisation des flous spatialement variables et différentes approximations efficaces permettant de les simuler. Elle décrit ensuite un modèle de formation de l’image générique. Puis, la thèse montre que la restauration d’images peut s’interpréter comme un problème d’inférence bayésienne et ainsi être reformulé en un problème d’optimisation en grande dimension. La deuxième partie de la thèse considère alors la résolution de problèmes d’optimisation génériques, en grande dimension, tels que rencontrés dans de nombreux domaines applicatifs. Une nouvelle classe de méthodes d’optimisation est proposée pour la résolution des problèmes inverses en imagerie. Les algorithmes proposés sont aussi rapides que l’état de l’art (d’après plusieurs comparaisons expérimentales) tout en supprimant la difficulté du réglage de paramètres propres à l’algorithme d’optimisation, ce qui est particulièrement utile pour les utilisateurs. La troisième partie de la thèse traite du problème de la déconvolution aveugle (estimation conjointe d’un flou invariant et d’une image plus nette) et suggère différentes façons de contraindre ce problème d’estimation. Une méthode de déconvolution aveugle adaptée à la restauration d’images astronomiques est développée. Elle se base sur une décomposition de l’image en sources ponctuelles et sources étendues et alterne des étapes de restauration de l’image et d’estimation du flou. Les résultats obtenus en simulation suggèrent que la méthode peut être un bon point de départ pour le développement de traitements dédiés à l’astronomie. La dernière partie de la thèse étend les modèles de flous spatialement variables pour leur mise en oeuvre pratique. Une méthode d’estimation du flou est proposée dans une étape d’étalonnage. Elle est appliquée à un système expérimental, démontrant qu’il est possible d’imposer des contraintes de régularité et d’invariance lors de l’estimation du flou. L’inversion du flou estimé permet ensuite d’améliorer significativement la qualité des images. Les deux étapes d’estimation du flou et de restauration forment les deux briques indispensables pour mettre en oeuvre, à l’avenir, une méthode de restauration aveugle (c’est à dire, sans étalonnage préalable). La thèse se termine par une conclusion ouvrant des perspectives qui pourront être abordées lors de travaux futurs / Degradations of images during the acquisition process is inevitable; images suffer from blur and noise. With advances in technologies and computational tools, the degradations in the images can be avoided or corrected up to a significant level, however, the quality of acquired images is still not adequate for many applications. This calls for the development of more sophisticated digital image restoration tools. This thesis is a contribution to image restoration. The thesis is divided into five chapters, each including a detailed discussion on different aspects of image restoration. It starts with a generic overview of imaging systems, and points out the possible degradations occurring in images with their fundamental causes. In some cases the blur can be considered stationary throughout the field-of-view, and then it can be simply modeled as convolution. However, in many practical cases, the blur varies throughout the field-of-view, and thus modeling the blur is not simple considering the accuracy and the computational effort. The first part of this thesis presents a detailed discussion on modeling of shift-variant blur and its fast approximations, and then it describes a generic image formation model. Subsequently, the thesis shows how an image restoration problem, can be seen as a Bayesian inference problem, and then how it turns into a large-scale numerical optimization problem. Thus, the second part of the thesis considers a generic optimization problem that is applicable to many domains, and then proposes a class of new optimization algorithms for solving inverse problems in imaging. The proposed algorithms are as fast as the state-of-the-art algorithms (verified by several numerical experiments), but without any hassle of parameter tuning, which is a great relief for users. The third part of the thesis presents an in depth discussion on the shift-invariant blind image deblurring problem suggesting different ways to reduce the ill-posedness of the problem, and then proposes a blind image deblurring method using an image decomposition for restoration of astronomical images. The proposed method is based on an alternating estimation approach. The restoration results on synthetic astronomical scenes are promising, suggesting that the proposed method is a good candidate for astronomical applications after certain modifications and improvements. The last part of the thesis extends the ideas of the shift-variant blur model presented in the first part. This part gives a detailed description of a flexible approximation of shift-variant blur with its implementational aspects and computational cost. This part presents a shift-variant image deblurring method with some illustrations on synthetically blurred images, and then it shows how the characteristics of shift-variant blur due to optical aberrations can be exploited for PSF estimation methods. This part describes a PSF calibration method for a simple experimental camera suffering from optical aberration, and then shows results on shift-variant image deblurring of the images captured by the same experimental camera. The results are promising, and suggest that the two steps can be used to achieve shift-variant blind image deblurring, the long-term goal of this thesis. The thesis ends with the conclusions and suggestions for future works in continuation of the current work

Cette thèse est composée de deux parties. Nous étudions dans la première la conjecture de Wilf pour les semi-groupes numériques et la résolvons dans certains cas. Dans la seconde nous considérons une classe de semi-groupes presque arithmétiques et donnons pour ces semi-groupes des formules explicites pour la base d’Apéry, le nombre de Frobenius, et les nombres de pseudo-Frobenius. Nouscaractérisons aussi ceux qui sont symétriques (resp. pseudo-symétriques). / The thesis is made up of two parts. We study in the first part Wilf’s conjecture for numerical semigroups. We give an equivalent form of Wilf’s conjecture in terms of the Apéry set, embedding dimension and multiplicity of a numerical semigroup. We also give an affirmative answer for the conjecture in certain cases. In the second part, we consider a class of almost arithmetic numerical semigroups and give for this class of semigroups explicit formulas for the Apéry set, the Frobenius number, the genus and the pseudo-Frobenius numbers. We also characterize the symmetric (resp. pseudo-symmetric) numerical semigroups for this class of numerical semigroups.

Arnold a démontré l'existence de solutions quasipériodiques dans le problème planétaire à trois corps plan, sous réserve que la masse de deux des corps, les planètes, soit petite par rapport à celle du troisième, le Soleil. Cette condition de petitesse dépend de façon cachée de la largeur d'analyticité de l'hamiltonien du problème, dans des coordonnées transcendantes. Hénon ex- plicita un rapport de masses minimal nécessaire à l'application du théorème de Arnold. L'objectif de cette thèse sera de donner une condition suffisante sur les rapports de masses. Une première partie de mon travail consiste à estimer cette largeur d'analyticité, ce qui passe par l'étude précise de l'équation de Kepler dans le complexe, ainsi que celle des singularités complexes de la fonction perturbatrice. Une deuxième partie consiste à mettre l'hamiltonien sous forme normale, dans l'optique d'une application du théorème KAM (du nom de Kolmogorov-Arnold-Moser). Il est nécessaire d'étudier le hamiltonien séculaire pour le mettre sous une forme normale adéquate. On peut alors quantifier la non-dégénérescence de l'hamiltonien séculaire, ainsi qu'estimer la perturbation. Enfin, il faut démontrer une version quantitative fine du théorème KAM, inspirée de Pöschel, avec des constantes explicites. A l'issue de ce travail, il est montré que le théorème KAM peut être appliqué pour des rapports de masses entre planètes et étoile de l'ordre de 10^(-85). / Arnold showed the existence of quasi-periodic solutions in the plane planetary three-body prob- lem, provided that the mass of two of the bodies, the planets, is small compared to the mass of the third one, the Sun. This smallness condition depends in a sensitive way on the analyticity widths of the Hamiltonian of the three-body problem, expressed with the help of some tran- scendental coordinates. Hénon gave a minimal ratio of masses necessary to the application of Arnold’s theorem. The main objective of this thesis is to determine a sufficient condition on this ratio. A first part of this work consists in estimating these analyticity widths, which requires a precise study of the complex Kepler equation, as well as the complex singularities of the disturb- ing function. A second part consists in reworking the Hamiltonian to put it under normal form, in order to apply the KAM theorem (KAM standing for Kolmogorov-Arnold-Moser). In this aim, it is essential to work with the secular Hamiltonian to put it under a suitable normal form. We can then quantify the non-degeneracy of the secular Hamiltonian, as well as estimate the perturbation. Finally, it is necessary to derive a quantitative version of the KAM theorem, in order to identify the hypotheses necessary for its application to the plane three-body problem. After this work, it is shown that the KAM theorem can be applied for a ratio of masses that is close to 10^(−85) between the planets and the star.

Dans plusieurs pays européens, la capacité de l’infrastructure est complètement exploitée aux heures de pointe et aux points critiques : une grande quantité de trains traversent ces points critiques dans un laps de temps très réduit. Dans cette situation le retard d’un train provoqué par un conflit de circulation peut se propager dans tout le réseau. Le problème de la gestion opérationnelle du trafic ferroviaire consiste à trouver les modifications des itinéraires et des ordonnancements des trains qui minimisent la propagation des retards. Dans cette thèse, nous proposons une approche de décomposition de Benders pour la formulation linéaire en nombres entiers à variables mixtes utilisée dans l’algorithme RECIFE-MILP. Après avoir constaté que l’approche de décomposition standard de Benders ne permet pas de trouver rapidement une solution de bonne qualité pour certaines instances du problème, nous étudions trois approches alternatives afin d’améliorer la performance de notre algorithme. Nous proposons d’abord une approche que nous appelons la reformulation réduite de Benders. Ensuite, nous introduisons des inégalités dans la formulation du problème maître de Benders. Finalement, nous scindons le processus de résolution en trois étapes au lieu de deux comme dans la décomposition standard de Benders. L'analyse expérimentale montre que la combinaison de la première et dernière approche surpasse l’algorithme original RECIFE-MILP dans la résolution de grandes instances sous certaines conditions. / In railway systems, during congested traffic situations, the infrastructure capacity is completely exploited for trains circulation. In these situations, when traffic is perturbed some trains must be stopped or slowed down for ensuring safety, and delays occur. The real-time Railway Traffic Management Problem (rtRTMP) is the problem of modifying trains route and schedule to limit delay propagation. In this thesis, we propose a Benders decomposition of a MILP-based algorithm for this problem, named RECIFE-MILP. After observing that the standard Benders decomposition (BD) does not allow the effective solution of rtRTMP instances, we study three possible approaches to improve the performance. Specifically, we first propose a modification of the problem reformulation which is typical of BD, obtaining what we call reduced BD. Then, we introduce some inequalities to the Benders master problem. Finally, we split the solution process in three steps rather than two as in the standard BD. As we show in a thorough experimental analysis, the combination of the first and last approaches outperforms the original RECIFE-MILP algorithm when tackling large instances with some specific features.

La géométrie algébrique réelle est dans sa définition la plus simple, l'étude des ensembles de solutions d'un système d'équations polynomiales à coefficients réelles. Dans cette vaste thématique, on se concentre sur les intersections de quadriques où déjà le cas de trois quadriques reste largement ouvert. Notre sujet peut être résumé comme l'étude topologique des variétés algébriques réelles et l'interaction entre leur topologie d'une part et leur déformations et dégénérations d'autre part, un problème issu du 16ième problème de Hilbert et enrichi par des développements récents. Au cours de cette thèse, nous allons nous focaliser sur les intersections maximales de quadriques réelles et en particulier démonter l'existence de telles intersections en utilisant des développements issus des recherches effectuées depuis la fin des années 80. Dans le cas d'intersections de trois quadriques, nous allons mettre en évidence le lien très étroits entre ces intersections d'une part et les courbes planes d'autre part, et démontrer que l'étude des M-courbes (une des problématiques du 16ième problème de Hilbert) peut se faire à travers l'étude des intersections maximales. Nous utiliserons ensuite les résultats sur les courbes planes nodales afin de déterminer dans certains cas les classes de déformations d'intersections de trois quadriques réelles. / Real algebraic geometry is in its simplest definition, the study of sets of solutions of a system of polynomial equations with real coefficients. In this theme, we focus on the intersections of quadrics where already the case of three quadrics remains wide open. Our subject can be summarized as the topological study of real algebraic varieties and interaction between their topology on the one hand and their deformations and degenerations on the other hand, a problem coming from the 16th Hilbert problem and enriched by recent developments. In this thesis, we will focus on maximum intersections of real quadrics and particularly prove the existence of such intersections using research developments made since the late 80. In the case of intersections of three quadrics, we will point the very close link between the intersections on the one hand and on the other plane curves, and show that the study of M-curves (one of the problems of the 16th Hilbert problem) may be done through the study of maximum intersections. Next, we will use the study on nodal plane curves to determine in some cases deformation classes of intersections of three real quadrics.

Soit X un sous-schéma fermé d'une variété abélienne A sur un corps de nombres K. L'ancienne conjecture de Mordell-Lang nous assure que X(K) est une réunion finie de sous-ensembles a_i+Bj(K) où a_i est un point de X(K) et B_i est une sous-variété abélienne de A de sorte que le translaté aj+Bj soit contenu dans X. Dans cette thèse, nous montrerons un résultat permettant de majorer la hauteur des a_i en fonctions de la hauteur de X. On en déduira une majoration pour la hauteur des solutions d'une équation aux unités. En utilisant les mêmes méthodes, on obtiendra une majoration de la même forme pour la hauteur des points entiers d'une variété abélienne(plongé dans un espace projectif) privé d'un hyperplan. / Let be X a closed subscheme of an abelian variety on a number field K. Faltings proved the Mordell-Lang conjecture: there are points a_1 , ... ,a_n in X(K) and abelian subvarieties 8_1 , ... ,B_nin A such that a_i+B_i is in X and X(K) is equal to the union of aj+B_i(K). In this thesis, we proof a result wich gives a bound for the height of the point a_i with the height of X. We obtain a bound for the solutions of an unit equation. With the same method, we proof a similar result for the height of the integers points on an abelian variety (embedded in a projective space) minus a hyperplane.

Cette thèse est consacrée à l’étude des trajectoires quantiques issues de la théorie desmesures continues en mécanique quantique non relativiste. On y présente de nouveaux résultatsthéoriques ainsi que des exemples d’applications. Sur le front théorique, on étudie principalementla limite de mesure «forte» dans laquelle on met en évidence l’émergence de sauts quantiques etd’échardes quantiques, deux phénomènes dont on précise la statistique. Hors de la limite forte, onpropose une méthode d’extraction optimale d’information pour un registre de qubits. Sur le frontdes applications, on introduit une méthode originale de contrôle utilisant l’intensité de la mesurecomme unique variable et on explique la transition balistique-diffusif dans les marches aléatoiresquantiques ouvertes; deux sous produits de l’étude théorique préalable des situations de mesureforte. On s’intéresse aussi au problème de la gravité semi-classique et montre que la théorie desmesures continues peut permettre d’en construire un modèle cohérent à la limite newtonienne. Onsuggère enfin quelques extensions possibles de la théorie à l’estimation a posteriori et d’éventuellesgénéralisations des résultats théoriques à des situations de mesures répétées discrètes. Dans laprésentation des résultats, l’accent est mis davantage sur l’explicitation des liens entre les multiplespoints de vue possibles sur les trajectoires quantiques (parallèles avec la théorie classique du filtrageet les modèles de collapse objectif utilisés dans les fondements) que sur la rigueur mathématique. / This thesis is devoted to the study of the quantum trajectories obtained from thetheory of continuous measurement in non relativistic quantum mechanics. New theoretical resultsas well as examples of applications are presented. On the theoretical front, we study mostly thelimit of «strong» measurement where we put forward the emergence of quantum jumps and quantumspikes, two phenomena we characterize in detail. Out of the strong measurement limit, weinvestigate a method to extract information from a register of qubits optimally. On the applicationfront, we introduce an original method to control quantum systems exploiting only the freedomof changing the measurement intensity and we explain the transition between a ballistic and adiffusive behavior in open quantum random walks; two byproduct of the theoretical study of thestrong measurement regime. We further study the problem of semi-classical gravity and show thatcontinuous measurement theory allows to construct a consistent model in the Newtonian regime.We eventually suggest possible extensions of the formalism to a posteriori estimation and hint atgeneralizations of the results for the strong measurement limit in the wider context of discreterepeated measurements. In the course of our presentation, we emphasize the link with other approachesto the theory of continuous measurement (parallels with stochastic filtering and collapsemodels in foundations) rather than aim for mathematical rigor.