Dans la première partie de ce manuscrit nous étudions les fonctions rationnelles, c'est-à-dire définies par des transducteurs unidirectionnels. Notre objectif est d'étendre aux transductions les nombreuses correspondances logique-algèbre qui ont été établies concernant les langages, notamment le célèbre théorème de Schützenberger-McNaughton-Papert. Dans le cadre des fonctions rationnelles sur les mots finis, nous obtenons une caractérisation à la Myhill-Nerode en termes de congruences d'indice fini. Cette caractérisation nous permet d'obtenir un résultat de transfert, à partir d'équivalences logique-algèbre pour les langages vers des équivalences pour les transductions. En particulier nous montrons comment décider si une fonction rationnelle est définissable en logique du premier ordre. Sur les mots infinis, nous pouvons également décider la définissabilité en logique du premier ordre, mais avec des résultats moins généraux.Dans la seconde partie nous introduisons une logique pour les transductions et nous résolvons le problème de synthèse régulière : étant donnée une formule de la logique, peut-on obtenir un transducteur bidirectionnel déterministe satisfaisant la formule ? Les fonctions réalisées par des transducteurs bidirectionnels déterministes sont caractérisés par plusieurs modèles différents, y compris par les transducteurs MSO, et ont ainsi été nommées transductions régulières. Plus précisément nous fournissons un algorithme qui produit toujours une fonction régulière satisfaisant une spécification donnée en entrée.Nous exposons également un lien intéressant entre les transductions et les mots avec données. Par conséquent nous obtenons une logique expressive pour les mots avec données, pour laquelle le problème de satisfiabilité est décidable. / In the first part of this manuscript we focus on the study of rational functions, functions defined by one-way transducers.Our goal is to extend to transductions the many logic-algebra correspondences that have been established for languages, such as the celebrated Schützenberger-McNaughton-Papert Theorem. In the case of rational functions over finite words, we obtain a Myhill-Nerode-like characterization in terms of congruences of finite index. This characterization allows us to obtain a transfer result from logic-algebra equivalences for languages to logic-algebra equivalences for transductions. In particular, we show that one can decide if a rational function can be defined in first-order logic.Over infinite words, we obtain weaker results but are still able to decide first-order definability.In the second part we introduce a logic for transductions and solve the regular synthesis problem: given a formula in the logic, can we obtain a two-way deterministic transducer satisfying the formula?More precisely, we give an algorithm that always produces a regular function satisfying a given specification.We also exhibit an interesting link between transductions and words with ordered data. Thus we obtain as a side result an expressive logic for data words with decidable satisfiability.

Dans cette thèse nous proposons un modèle temporel dans le cadre des machines à états abstraits (ASM). Une extension du langage de spécification ASM est développé qui correspond à ce modéle temporel pour le temps continu. L'extension du langage avec des constructions de temps permet de diminuer la taille de la spécification et donc de réduire la probabilité d'erreurs. La sémantique de l'extension du langage ASM est fournie et prend en compte les définitions des fonctions externes, les valeurs des délais et les choix de résolution des non-déterminismes. Un sous-système de vérification des propriétés exprimées en logique FOTL (FirstOrder Timed Logic) est développé. Un simulateur d'ASMs temporisées est développé et implémenté, il comprend un analyseur syntaxique, un interprète du langage, un sous-système de vérification des propriétés ainsi qu'une interface graphique / In this thesis a temporal model for abstract state machines (ASM) method is pro- posed. An extension of ASM specification language on the base of the proposed temporal model with continuous time is developed. The language extension helps to reduce the size of the specification hence to diminish the probability of an error. The semantics of the extended ASM language is developed which takes into account the definitions of external functions, the values of time delays and the method of non-determinism resolving. A subsystem for verification of user properties in the FOTL language is developed. A simulator prototype for ASMs with time is developed and implemented. It includes the parser of the timed ASM language, the interpreter, the verification subsystem and the graphical user interface

Contexte  Le cancer colorectal, deuxième par ordre de fréquence chez les femmes françaises, se développe principalement à partir de lésions précancéreuses, des adénomes. Les facteurs associés à l’obésité sont multiples, incluant des événements de début de vie, le niveau socio-économique et le comportement alimentaire ; l’obésité a aussi été associée de façon assez constante au risque de cancer colorectal. Cependant les associations entre des facteurs anthropométriques spécifiques ou au cours de la vie et le risque de tumeurs colorectales selon la filiation adénome-cancer ou selon le site sont moins claires. La ménopause est un événement de vie majeur et est associée à des modifications anthropométriques, tandis que le traitement hormonal de la ménopause (THM) est susceptible d’interagir avec les aspects anthropométriques mais aussi directement avec le risque de tumeur. De plus, la prescription du THM dépend de plusieurs paramètres, dont l’importance du suivi médical. Enfin, si le dépistage des tumeurs colorectales est conseillé à partir de 50 ans (soit aux environs de la ménopause) les attitudes vis-à-vis du dépistage varient selon de nombreux paramètres incluant les antécédents familiaux de cancer, le niveau socio-économique et les comportements de santé. Objectif  Le risque de tumeurs colorectales dépend ainsi de nombreux facteurs étroitement liés, parmi lesquels nous avons choisi d’étudier les relations complexes entre facteurs anthropométriques au cours de la vie, utilisation de THM et antécédents personnels de coloscopie, et le risque d’adénomes et de cancers colorectaux. Population  Les analyses ont été effectuées sur les données de la cohorte de femmes françaises E3N, comportant environ 1400 cas d’adénomes diagnostiqués parmi 17000 femmes ayant passé une coloscopie au cours du suivi (1993-2002) et 690 cas de cancers diagnostiqués parmi 92000 femmes au cours du suivi (1990-2008). Résultats  Notre étude a mis en évidence plusieurs aspects originaux. Tout d’abord, nous avons mis en évidence que les trois facteurs d’exposition principaux étudiés étaient associés au risque de tumeurs colorectales de façon significativement hétérogène en fonction du site, renforçant l’hypothèse selon laquelle il existe trois entités bien distinctes le long du cadre colorectal. Les caractéristiques anthropométriques typiquement occidentales (IMC et tour de taille élevés) étaient associées à un risque accru de tumeurs du côlon gauche, tandis que les associations originales que nous avons décrites entre taille assise et risque d’adénomes du côlon droit, et entre corpulence dans l’enfance et plus faible risque d’adénomes du rectum suggèrent de nouvelles pistes de recherche pour ces sites à l’étiologie mal connue. La mise en évidence d’une association positive entre prise de THM de type estrogènes seul (habituellement prescrit aux femmes hystérectomisées) et risque d’adénomes, en particulier du côlon gauche, et d’une association inverse entre le même type de THM et le risque de cancer, en particulier du côlon gauche, n’étant pas cohérentes avec les associations décrites dans la littérature, nous a conduit a explorer un éventuel biais de dépistage. La pratique de coloscopie était effectivement plus fréquente chez les femmes utilisant des estrogènes seuls (et donc aux antécédents d’hystérectomie), tandis que les antécédents de fibrome utérin étaient associés à un risque accru d’adénomes. De leur côté, les antécédents personnels de coloscopie étaient associés à une diminution de risque de cancer, surtout du côlon gauche, tandis que la réduction de risque des cancers du rectum devenait semblable à celle observée pour le côlon gauche dans la période la plus récente. Conclusion  En conclusion, nos résultats suggèrent qu’il existe des moyens efficaces de prévention des tumeurs distales, mais que la prévention des tumeurs du côlon droit demande des études spécifiques et peut-être de nouveaux paradigmes. / Background  Colorectal cancer, the second most common cancer in French women, mostly develops from precancerous lesions, the adenomas. Factors associated with adult obesity are multiple, including early life events, the socio-economic level, and eating habits; obesity has also been, in turn, quite consistently associated with colorectal cancer risk. However, associations between specific anthropometric components or lifetime anthropometry and colorectal tumours according to the adenoma-carcinoma sequence or to tumour site are less clear. Menopause is a major event in women, and is associated with changes in anthropometric features, while menopausal hormone therapy (MHT) may interact with post-menopausal anthropometry but also with tumour risk per se. In addition, prescription of this MHT depends on various parameters including quality of medical follow-up. Finally, while screening for colorectal tumours is advocated after the age of 50 (thus around menopausal age), attitudes towards colorectal screening differ according to many factors including family history of cancer, the socio-economic level, and attitudes towards a healthy behaviour. Objective  Thus colorectal tumour risk depends on many interrelated factors, among which we chose to investigate the complex relationship between lifetime anthropometric features, MHT use and personal history of colonoscopy, and colorectal adenoma and cancer risk. Population  This study was based on data from the French E3N cohort, including approximately 1400 adenoma cases diagnosed among 17000 women who underwent a colonoscopy during follow-up (1993-2002), and 690 cancer cases diagnosed among 92000 women (1990-2008).Results  Our study brought out several original findings. First our findings regarding all three major studied exposures displayed significant heterogeneity between sites, thus enforcing the hypothesis of separate entities according to site along the large bowel. Typical Western anthropometric features (high BMI and high waist circumference) were associated with left colon tumours, while the original findings of sitting height associated with risk of right colon tumours and of a large silhouette in childhood inversely associated with rectal tumours may bring out new hypotheses regarding these less understood sites. The findings of a positive association between estrogens only MHT use (usually prescribed in hysterectomised women) and adenoma risk, especially left colon adenomas, and an inverse association between the same MHT and cancer risk, especially left colon cancer, which are not consistent with associations generally described in the literature, led us to explore potential screening biases. Indeed, colonoscopy screening was more common in women who used estrogens alone (so with a history of hysterectomy), while colorectal adenomas were more common in women with uterine leiomyoma. Colonoscopy screening in turn was associated with a reduced risk of colorectal cancer, especially left colon cancer, while the risk reduction for rectal cancers became similar to that of left colon cancer in the most recent years. Conclusion  Altogether, our findings suggest efficient ways to prevent distal tumours, while prevention of right colon tumours requires further specific investigations and new paradigms.

Cette étude s’inspire de questionnements soulevés, dans le cadre de leur recherche, par deux spécialistes du cinéma. Une première piste de recherche concerne l’histoire du cinéma des premiers temps et les sources documentaires, que l’historien Jan Olsson a défini comme un « domaine discursif » (“discursive domaine”) à part entière. Une deuxième piste de recherche s’inspire d’une remarque du philosophe et théoricien Murray Smith à propos de la manière dont les spectateurs se représentent mentalement les films qu’ils ont vus comme un domaine de la recherche cinématographique inexploré (“unchartered territory”). Cette thèse se concentre sur la « conscience cinématographique », c’est-à-dire sur la capacité du spectateur à se représenter mentalement un objet filmique ou à penser cinématographiquement. Cette formulation désigne des phénomènes particuliers. Historiquement, cette « conscience » est une forme de « sensibilisation au cinéma » (« movement of consciousness »), phénomène dont on peut observer les effets dans les textes consacrés au cinéma dans les années 1907-1912. Cette « sensibilisation » se manifeste par un intérêt grandissant pour les films, par l’invention de termes et de notions permettant de parler de cinéma, par des études spécialisées, portant sur le spectatorat ou la critique, montrant que les contemporains avaient conscience de cette « sensibilisation » (« self consciousness »). Ce questionnement de fond sur les sources documentaires, en tant qu’elles sont le révélateur d’une « conscience cinématographique », a une implication historiographique et méthodologique importante. L’apparente naïveté des sources d’époque a conduit certains historiens à décrire les spectateurs de l’époque comme étant, eux aussi, naïfs. Or, en réalité, la perception des phénomènes filmiques par les contemporains était plus complexe et nuancée que ce que les sources ne laissent le dire. Cette approche, qui porte sur les mentalités de l’époque et l’impact du cinéma sur les spectateurs, conduit à chercher les traces de cette « sensibilisation » dans les textes d’époque, à prendre compte des champs lexicaux et de leur évolution dans le temps. Elle permet également, pour l’historien, de tenir compte de la subjectivité des textes d’époque plutôt que de ne s’attacher qu’à des sources objectives ou des témoignages. Dans le cadre de cette thèse, la formulation « conscience cinématographique », dont l’occurrence n’est pas rare dans la littérature consacrée à l’histoire du cinéma, désigne cette partie de la conscience qui est façonnée par le cinéma. Cette conscience a plusieurs fonctions qui correspondent, chacune, à diverses catégories de conscience cinématographique. Il s’agit de la « sensibilité à l’esthétique du film », la « sensibilité à la technicité du film », la « sensibilité à la culture cinématographique », la « sensibilité au cinéma en tant qu’objet de pensée » ainsi que d’autres éléments permettant à la conscience de s’exercer (le lieu de la mémoire où reposent les souvenirs de films, les moments de cinéma associés à une identité personnelle, la faculté d’être conscient de sa propre conscience filmique et la conscience filmique subjective, forme de conscience et de sensibilité liée à une grande connaissance du cinéma. Ces diverses catégories de « sensibilité » à la chose cinématographique forment un vaste champ d’étude permettant de prendre la mesure de la transformation des mentalités et de cartographier le territoire inexploré évoqué par Murray Smith. Chacune de ces catégories représente un domaine de recherche spécifique, avec ses questionnements et ses enjeux propres, mais prend place dans un champ plus vaste, celui de « conscience cinématographique ». Quand cette approche s’applique aux sources documentaires portant spécifiquement sur le cinéma et son évolution, il est possible de voir à quel point le cinéma transforme les mentalités. / This thesis attempts to follow through on two “calls for further research” from recognized film scholars. One line of research centers on early cinema and especially on early American film publications (from 1906 to 1913), which Jan Olsson has defined as a “discursive domain calling for analysis as a phenomenon in its own right,” as opposed to only being “source material” film historians use for writing about early cinema. Another line of research concerns the “relationship between consciousness and film” that Murray Smith argues is an “unchartered territory” in film studies. In this thesis, this relationship between “consciousness and film” is defined from the perspective of ‘film consciousness’, which is a formulation with several functions. In some contexts, it refers to a “movement of consciousness” that appears in early film publications over the course of several years (between 1907 and 1912) manifested in a growing recognition of the constructed, aesthetic nature of film, changes in terminologies for naming and defining the object of cinema, in particular activities showing an appreciation of the contextual meaning of films, and in self-consciousness, such as in the study of audiences and meta-criticism. These parallel lines of research have an important scientific and methodological implication, in that early film publications are sometimes implicitly seen as displaying a “naïve consciousness” that is transposable onto early spectators broadly. A “film consciousness” approach recognizes a more complex consciousness that is revealed in subtle changes in language-use and behaviour over a period of time. It also allows for the study of the subjectivity of the writers as well, which is often revealed indirectly to the film historian, as opposed to explicit descriptions of subjective film experience. The formulation ‘film consciousness’ – which is occasionally used in film discourse, though usually without an institutional definition – is also regarded in this thesis as presenting its own ontological nature in the way it brings two semantic fields (“consciousness” and “film”) into relation. From this formulation, several “categories of film consciousness” are constructed. These include “film aesthetic awareness,” “film production awareness,” “film culture awareness,” “ways of existing towards film,” and several “entities of consciousness” (an imagined place in consciousness assumed to contain past film experiences, conscious phenomena derived from film experiences that are seen as bound to personal identity, a faculty that determines the way reality is engaged with, and a particular kind of conscious experience, defined as “subjective film consciousness.”) These categories of film consciousness collectively constitute an imagined “field of film consciousness” that serves to conceptualize the “unchartered territory” Murray Smith defines. Each category represents an individual area of research with concomitant questions and criteria that nevertheless exist on a continuum that the key term ‘film consciousness’ brings into constant rhetorical relation. When this field is applied to a set of film-related data, such as early film discourse, a set of connections between different regions of film consciousness emerges, thus allowing for the description of film consciousness at various levels.

Les algorithmes convexes de résolution pour les régressions linéaires parcimonieuses possèdent de bonnes performances pratiques et théoriques. Cependant, ils souffrent tous des dimensions du problème qui dictent la complexité de chacune de leur itération. Nous proposons une approche pour réduire ce coût calculatoire au niveau de l'itération. Des stratégies récentes s'appuyant sur des tests d'élimination de variables ont été proposées pour accélérer la résolution des problèmes de régressions parcimonieuse pénalisées tels que le LASSO. Ces approches reposent sur l'idée qu'il est profitable de dédier un petit effort de calcul pour localiser des atomes inactifs afin de les retirer du dictionnaire dans une étape de prétraitement. L'algorithme de résolution utilisant le dictionnaire ainsi réduit convergera alors plus rapidement vers la solution du problème initial. Nous pensons qu'il existe un moyen plus efficace pour réduire le dictionnaire et donc obtenir une meilleure accélération : à l'intérieur de chaque itération de l'algorithme, il est possible de valoriser les calculs originalement dédiés à l'algorithme pour obtenir à moindre coût un nouveau test d'élimination dont l'effet d'élimination augmente progressivement le long des itérations. Le dictionnaire est alors réduit de façon dynamique au lieu d'être réduit de façon statique, une fois pour toutes, avant la première itération. Nous formalisons ce principe d'élimination dynamique à travers une formulation algorithmique générique, et l'appliquons en intégrant des tests d'élimination existants, à l'intérieur de plusieurs algorithmes du premier ordre pour résoudre les problèmes du LASSO et Group-LASSO. / Applications in signal processing and machine learning make frequent use of sparse regressions. Resulting convex problems, such as the LASSO, can be efficiently solved thanks to first-order algorithms, which are general, and have good convergence properties. However those algorithms suffer from the dimension of the problem, which impose the complexity of their iterations. In this thesis we study approaches, based on screening tests, aimed at reducing the computational cost at the iteration level. Such approaches build upon the idea that it is worth dedicating some small computational effort to locate inactive atoms and remove them from the dictionary in a preprocessing stage so that the regression algorithm working with a smaller dictionary will then converge faster to the solution of the initial problem. We believe that there is an even more efficient way to screen the dictionary and obtain a greater acceleration: inside each iteration of the regression algorithm, one may take advantage of the algorithm computations to obtain a new screening test for free with increasing screening effects along the iterations. The dictionary is henceforth dynamically screened instead of being screened statically, once and for all, before the first iteration. Our first contribution is the formalisation of this principle and its application to first-order algorithms, for the resolution of the LASSO and Group-LASSO. In a second contribution, this general principle is combined to active-set methods, whose goal is also to accelerate the resolution of sparse regressions. Applying the two complementary methods on first-order algorithms, leads to great acceleration performances.

本文的目的，在對熊希齡的生平與事業，作客觀的論述與評價；並希望經由此一具體而微、具有代表性的個案研究，管窺溫和型知識分子在巨變的近代中國中如何自處與適應﹖具體言之，即他們政治與社會參與的情形如何﹖他們何以支持君主立憲﹖又何以在辛亥革命爆發之後，轉而支持共和﹖當他們在政治上受挫之後，何去何從﹖在研究方法上，本論文嘗試以建立理論架構的方式，解釋熊希齡的政治與社會行為。該理論架構的建立，主要基於對於其士紳階層身份的認知：熊氏和大部份的溫和型知識分子均來自傳統，接受完整的傳統教育，因此他們雖處於從傳統過渡到現代的一個轉變時期，其政治與社會參與行為大體仍不脫傳統模式。在政治上，因其功名利祿來自政權的授與，故他們往往擁護且依附現政權；在社會上，他們多為財富的擁有者，並扮演著領導者的角色；此外，他們受儒家思想的影響，無時不以天下為己任，遭逢明君，則在廟堂之上發揮其治國平天下的政治理念，退處林下，亦是興學賑災的擔任起服務鄉梓的責任，「進為官，退為紳」，用捨行藏之間，有其明顯的脈胳可尋。經由此一理論架構，有關本文所提熊等溫和型知識分子如何自處與適應、如何「出處」與「進退」的問題，均可獲得解答。本文計共分為五章，除<緒論>、<結論>外，其餘三章內容大致如下： 　　第二章<早期政治參與的嘗試與努力>，主要敘述熊希齡在湖南新政運動及庚子後新政時期立憲運動中的角色，並分析熊希齡何以支持君主立憲﹖何以轉而支持共和﹖第三章<民初政治參與的挫折>，主要敘述熊希齡任「唐內閣」財政總長及「第一流人才內閣」總理的始末與經過。本章的研究成果或可澄清過去史家對熊希齡的一些錯誤印象。例如：熊在財政總長任內並非只知「借款」，而毫無財政政策可言，他不但有財政政策，而且該政策堪稱穩健踏實。第四章<從事社會慈善事業>，敘述熊希齡在政治受挫之後，在政治上無法施展其抱負之後，退而積極扮演士紳的角色，從事大規模的社會救濟事業，並創辦「香山慈幼院」。整體來說，熊希齡堪稱為一位有「暖天下」之志的人，從他在新科舉人聚會上表明了這個志願之後，一直到死為止，可以說他並沒有放棄放棄對這個理想的追求；他一生淡泊名利，並不認為一定要做官才可以施展抱負，因此在他卸下國務總理之後，見時局人心不可為，即急流湧退，從事社會慈善事業近三十年，這構成了熊希齡一生最為人所稱道的地方。

L'étude de l'influence du désordre sur les propriétés critiques des systèmes modèles et des impuretés sur les propriétés magnétiques d'échantillons nanostructurés constitue la ligne directrice de ce travail. L'utilisation des techniques de simulation Monte Carlo en constitue l'outil. Nous nous intéressons à des systèmes de spins en interaction, à 2 ou 3 dimensions, décrits par des modèles présentant des transitions de phase du premier ou du second ordre et nous cherchons à comprendre l'influence de différentes perturbations (apériodiques, désordonnées) sur leurs propriétés critiques. Dans le cas des systèmes tridimensionnels, nous montrons en particulier, grâce à des simulations numériques intensives utilisant les algorithmes d'amas ou multicanoniques, que la détermination des exposants critiques associés à une nouvelle classe d'universalité désordonnée nécessite qu'une attention tout-à-fait particulière soit apportée aux simulations afin de pouvoir distinguer les exposants effectifs des exposants asymptotiques. Nous présentons ensuite la modélisation des propriétés magnétiques d'échantillons nanostructurés (nanoparticules, multicouches amorphes) pour lesquels l'utilisation des techniques de simulation numérique permet de conforter certains modèles théoriques comme les modèles de Néel-Brown et de Stoner-Wohlfarth pour le retournement de l'aimantation ou le modèle d'anisotropie structurale locale pour expliquer l'existence d'une anisotropie magnétique macroscopique dans les multicouches amorphes Fe/Dy. Ainsi, nous avons mis en évidence le fait que le retournement de l'aimantation par rotation uniforme d'une structure ferrimagnétique peut devenir non uniforme pour une structure spérimagnétique avec une augmentation de la coercivité.

Ce travail porte sur le diagnostic des températures de vibration et de rotation des molécules dans les plasmas thermiques.<br /><br />Ce mémoire comporte deux grandes parties : l'une concerne le calcul de spectres moléculaires et la deuxième partie est consacrée à la comparaison des spectres dans quatre cas expérimentaux différents.<br /><br />Un code de calcul a été réalisé pour simuler des spectres d'espèces diatomiques. Ce code a été essentiellement appliqué aux radicaux C2, CN, à la molécule N2 et à l'ion N2+ avec comme paramètres variables les températures de vibration et de rotation. Cette partie commence par une description de la molécule diatomique et de ses propriétés. <br />Ensuite la méthode pour calculer les spectres est explicitée : <br />détermination des longueurs d'onde,<br />de leur intensité,<br />application d'une fonction d'appareil,<br />obtention du spectre final. <br />L'influence des températures de rotation et de vibration sur les intensités des raies est prise en compte ainsi que celle de la fonction d'appareil. Ces spectres sont calculés, pour une expérience donnée, de manière à déterminer ces deux paramètres par comparaison avec les spectres obtenus par la mesure.<br /><br />Cette méthode a été utilisée sur quatre plasmas différents : <br />une flamme oxy-acétylénique,<br />un arc stabilisé dans une chambre de Maecker,<br />une torche à plasma ICP,<br />une décharge entre deux électrodes liquides. <br />Les températures de rotation et de vibration ont été déterminées par la comparaison de spectres. Ainsi des profils de températures ont pu être réalisés.<br /><br />En annexe, les valeurs numériques nécessaires aux calculs de spectres sont répertoriées pour le système de Swan de C2, le système violet de CN, le second système positif de N2 et le premier système négatif de N2+.

Cette thèse est consacrée à l'analyse mathématique, à la modélisation et au calcul scientifique des problèmes d'interface dans des milieux fluides de faible épaisseur. Les problèmes d'interface liquide-gaz de type cavitation apparaissent dans la plupart des mécanismes lubrifiés et leur modélisation a toujours été un sujet très discuté en tribologie. Celle-ci a initialement utilisé (et utilise encore) des inéquations variationelles mais l'inadéquation de ce modèle qui est non conservatif a conduit à introduire de manière heuristique une modélisation basée sur un système hyperbolique-elliptique. Cependant, dans le cadre de cette nouvelle modélisation, des problèmes ouverts apparaissent, dès lors que l'on s'intéresse à des conditions de fonctionnement plus réalistes. Parmi ceux-ci, on peut citer :<br />1/ la possibilité d'utiliser ce modèle en présence de rugosités. Il s'agit, du point de vue mathématique, de l'homogénéisation d'une équation en pression-saturation, <br />2/ la prise en compte de la déformation élastique de surfaces solides due à la pression hydrodynamique du fluide adjacent. Pour cela, il est habituel en élastohydrodynamique (E.H.D.) de modifier les coefficients de l'équation de l'écoulement par l'introduction d'un terme intégral (déformation du type Hertz). La modélisation de la cavitation intervient dans la partie hydrodynamique et, par suite, sur l'ensemble du couplage.<br />3/ la possibilité de justifier ou non ce modèle à partir d'une description bifluide rigoureuse de l'écoulement et d'en déduire ainsi une procédure de calcul du frottement associé à l'écoulement mince.<br /><br />Nous étudions ces différents aspects qui permettent de justifier la pertinence du modèle de cavitation considéré.

Cette thèse aborde l'opposition Imparfait/Passé simple d'un point de vue théorique puis didactique en FLE. En premier lieu sont envisagés les paramètres temporels de la communication langagière, menant à la définition de la situation élémentaire d'interaction verbale, socle de notre réflexion. Dans la continuité de KLEIN (1994) et de GOSSELIN (1996), les temps verbaux sont appréhendés en termes de relations temporelle et aspectuelle, combinant les intervalles d'énonciation, de référence et de procès. Nous envisageons l'intervalle de référence comme un espace mental (FAUCONNIER 1984) susceptible de recouvrir trois réalités selon qu'il est défini de façon positive (espace mental de base), négative (espace mental alternatif), ou autonome (espace mental autonome) par rapport au repérage spatiotemporel de la situation élémentaire d'interaction verbale. Une répartition systémique des tiroirs verbaux de l'indicatif est alors proposée. Après un examen de l'aspect grammatical et lexical, nous envisageons l'organisation des plans dans le texte en nous inspirant de HOPPER & THOMPSON (1980) et COMBETTES (1992). Sont ainsi mises en évidence des corrélations entre, d'une part, premier plan, Passé simple et consécution, et d'autre part, arrière-plan, Imparfait et simultanéité. À l'issue de cet examen théorique, nous exposons certaines des correspondances entre les stratégies linguistiques, narratologiques et cinématographiques servant à l'expression de la simultanéité et de la consécution dans les récits écrit et filmique. Nous proposons ensuite un ensemble d'activités pédagogiques basées sur l'image filmique pour faciliter l'apprentissage en FLE de l'opposition Imparfait/Passé simple.