Cette thèse porte sur les propriétés opérationnelles de deux extensions quantitatives du λ-calcul pur : le λ-calcul algébrique et le λ-calcul probabiliste.Dans la première partie, nous étudions la théorie de la β-réduction dans le λ-calcul algébrique. Ce calcul permet la formation de combinaisons linéaires finies de λ-termes. Bien que le système obtenu jouisse de la propriété de Church-Rosser, la relation de réduction devient triviale en présence de coefficients négatifs, ce qui la rend impropre à définir une notion de forme normale. Nous proposons une solution qui permet la définition d'une relation d'équivalence sur les termes, partielle mais cohérente. Nous introduisons une variante de la β-réduction, restreinte aux termes canoniques, dont nous montrons qu'elle caractérise en partie la notion de forme normale précédemment établie, démontrant au passage un théorème de factorisation.Dans la seconde partie, nous étudions la bisimulation et l'équivalence contextuelle dans un λ-calcul muni d'un choix probabliste. Nous donnons une technique pour établir que la bisimilarité applicative probabiliste est une congruence. Bien que notre méthode soit adaptée de celle de Howe, certains points techniques sont assez différents, et s'appuient sur des propriétés non triviales de « désintrication » sur les ensembles de nombres réels. Nous démontrons finalement que, bien que la bisimilarité soit en général strictement plus fine que l'équivalence contextuelle, elles coïncident sur les λ-termes purs. L'égalité correspondante est celle induite par les arbres de Lévy-Longo, généralement considérés comme l'équivalence extensionnelle la plus fine pour les λ-termes en évaluation paresseuse. / In this thesis we deal with the operational behaviours of two quantitative extensions of pure λ-calculus, namely the algebraic λ-calculus and the probabilistic λ-calculus.In the first part, we study the β-reduction theory of the algebraic λ-calculus, a calculus allowing formal finite linear combinations of λ-terms to be expressed. Although the system enjoys the Church-Rosser property, reduction collapses in presence of negative coefficients. We exhibit a solution to the consequent loss of the notion of (unique) normal form, allowing the definition of a partial, but consistent, term equivalence. We then introduce a variant of β-reduction defined on canonical terms only, which we show partially characterises the previously established notion of normal form. In the process, we prove a factorisation theorem.In the second part, we study bisimulation and context equivalence in a λ-calculus endowed with a probabilistic choice. We show a technique for proving congruence of probabilistic applicative bisimilarity. While the technique follows Howe's method, some of the technicalities are quite different, relying on non-trivial "disentangling" properties for sets of real numbers. Finally we show that, while bisimilarity is in general strictly finer than context equivalence, coincidence between the two relations is achieved on pure λ-terms. The resulting equality is that induced by Lévy-Longo trees, generally accepted as the finest extensional equivalence on pure λ-terms under a lazy regime.

The concept of equivalence has for many years attracted attention of researchers in variousdisciplines: from mathematics to philosophy to translation theory to terminology. This thesisintends to survey the concept of equivalence in three subject fields all of which focus onlanguages and communication, namely: translation theory, lexicography and terminology. Thepurpose of the paper is twofold: to investigate the theoretical grounds of equivalence in thesethree disciplines and to survey the methods and practices of establishing equivalence inmultilingual terminology work. The results of the theoretical investigation are summed up onthe basis of the terminological concept analysis. Four concepts systems are structured andpresented in the form of concept diagrams (two for translation theory, one for lexicography andone for terminology). The concept systems give an overview of the current understanding ofequivalence in the three subject fields and expose the relations between equivalence and anumber of related concepts. The central theoretical question of the thesis whether equivalencecould be considered the same concept in all three disciplines is answered on the basis of theresults of the terminological concept analysis. The empirical investigation is carried out in theform of case studies in the frame of multilingual terminology work. It focuses on the problemsof establishing equivalence, of determining the degree of equivalence as well as on the methodsand practices of presenting equivalents in various terminological resources.

(in English): This paper is devoted to indicator of subjective quality of working life (SQWLI) equivalence of measurement and testing of this instrument over time. The theoretical part introduces the concept of equivalence, from its inception, through the definition, types, methods used to test different kinds of equivalence and programs that can be used for this purpose. Furthermore the tested data files from 2009, 2011, 2013 to 2014 are presented. The analytical part contains a description of confirmatory factor analysis for multiple groups which is the most common method for testing equivalence of measurement. Presented are the results of several testing methods - analysis of reliability, exploratory factor analysis and the confirmatory factor analysis for multiple groups. According to the results it is shown how it is possible to approach comparisons over time and finally the development of SQWLI and it's individual changes in terms of the functionality of the whole tool is discussed. 2

Notre travail est une étude didactique, traductologique et linguistique. L’objectif de ce travail est de trouver une solution à l’enseignement de la traduction français-arabe/ arabe-français dans le cursus de FLE dans les universités irakiennes. Le manque d’avancée notable dans le domaine de l’enseignement de la traduction et de la mise en œuvre des procédés didactiques en classe est le fruit d’un déséquilibre entre le programme dans les départements de français et le bagage linguistique et les compétences didactiques de l’enseignant. L’intériorisation de la grammaire de la langue cible est l’un des objectifs principaux en didactique des langues. Le recours par l’enseignant de la classe de traduction à une grammaire explicite favorise-t-il ou entrave-t-il l’intériorisation de la grammaire des langues ? Il est nécessaire que la formation initiale des enseignants de langue et de traduction comporte une solide initiation à deux modèles métalinguistiques.Malgré les études universitaires croissantes pour l’enseignement de la traduction, il n’existe à notre connaissance aucune étude, surtout en Irak, portant sur la didactique de la traduction entre le français et l’arabe qui permettrait d’acquérir la compétence traductionnelle à des apprenants de langues étrangères. Ce travail est important pour le système universitaire en Irak car il n’a jamais fait l’objet d’une étude approfondie. Il est nécessaire pour créer des départements de traduction français –arabe dans les universités irakiennes. Notre initiative s’accompagne de l’introduction en Irak de méthodes nouvelles de traduction comme l’AMD (Analyse matricielle définitoire).Ce travail s’attaque notamment aux difficultés linguistiques de la traduction à partir des traductions des apprenants irakiens des universités de Bagdad et d’Al-Mustansiriyah. Dans cette optique, nous avons réalisé une enquête auprès des professeurs de français et des étudiants de ces universités.La finalité de ce travail est une réflexion qui vise à :Entrainer les enseignants à faire des analyses linguistiques qui leur fassent prendre conscience du fonctionnement de leur langue (en l’occurrence l’arabe) et des différences de fonctionnement entre leur langue et la langue vers laquelle ou à partir de laquelle ils traduisent (en l’occurrence le français). L’analyse doit se focaliser sur le fonctionnement de la langue et non sur l’apprentissage ou la comparaison du métalangage ou telle théorie linguistique ou grammaticale même si le formateur doit, lui, avoir une formation linguistique théorique cohérente.III Faire découvrir aux enseignants les débats contradictoires et souvent violents que connait la traductologie et leur fournir les outils qui leur permettent d’adopter une attitude critique au sein de ces débats.Apprendre aux enseignants à se construire une méthode de traduction avec un protocole relativement précis qui en définit les différentes étapes. Leur apprendre à justifier la méthode qu’ils auront choisie. / Our work is a didactic, traductologic, and linguistic study. This work aims to find a solution for the French-Arabic / Arabic-French translation teaching in French as Foreign Language courses in Iraqi universities.The lack of noteworthy advances in translation teaching and the implementation of didactic techniques is the result of an imbalance between the program of French departments and the linguistic and didactic skills of the teacher.The interiorization of the target language grammar is one of the principal aims in language didactics. When a translation teacher resorts to an explicit grammar point, does this promote or hinder the interiorization of the grammar? It is necessary that the language and translation teachers pre-service training contains a solid introduction to two metalinguistic models.Despite the increasing number of studies on translation teaching, there is, to our knowledge, no study, especially in Iraq, on didactics of French-Arabic translation to the foreign language learners which could let them acquire translation skills. This work is important for the Iraqi academic system because there was no in-depth study on this matter before. It is necessary for the creation of French- Arabic translation departments in Iraqi universities. Our initiative includes the introduction of the new translation methods in Iraq as the DMA (Defining Matrix Analysis).This work particularly tackles the linguistic difficulties in translation using translations of Iraqi learners at the universities of Baghdad and Al-Mustansiriyah. With this in mind, we conducted a survey among teachers of French and students of these universities. The purpose of this work is a reflection which aims to: Entrain the teacher to make linguistic analysis which will help them to become aware of the functioning of their language (in this case Arabic) and the differences of functioning between their language and the source language or the target language (in this case French). This analysis must focus on the functioning of the language and not on the learning or the comparison of the metalanguage or of a linguistic or grammatical theory, even if the tutor himself must have a consistent knowledge of linguistic theories.Make teachers capable of discovering the contradictory, often violent, debates that the traductologie can supply them with the tools that allow them to adopt a critical attitude within these debates.  Instruct teachers to build a translation method with a relatively precise protocol that defines the different steps. Teach them to justify the method they have chosen.

Nous nous intéressons à l'étude des singularités réelles à l'aide d'arguments provenant de l'intégration motivique. Une telle démarche a été initiée par S. Koike et A. Parusiński puis poursuivie par G. Fichou. Afin de donner une classification des singularités réelles, T.-C. Kuo a défini la notion d'équivalence blow-analytique. Il s'agit d'une relation d'équivalence pour les germes analytiques réels n'admettant pas de module continu pour les singularités isolées. Cette notion est étroitement liée à la notion d'applications analytiques par arcs définie par K. Kurdyka. Il est donc naturel d'adapter des arguments provenant de l'intégration motivique pour l'étude de l'équivalence blow-analytique. La difficulté réside désormais dans le fait de trouver des méthodes permettant de montrer que deux germes sont équivalents et de construire des invariants permettant de distinguer deux germes qui ne sont pas dans la même classe. Nous travaillons avec une variante plus algébrique de cette notion, l'équivalence blow-Nash introduite par G. Fichou. La première partie de la thèse consiste en un théorème d'inversion donnant des conditions pour que l'inverse d'un homéomorphisme blow-Nash soit encore blow-Nash. L'intérêt d'un tel énoncé est que de telles applications apparaissent dans la définition de l'équivalence blow-Nash. La seconde partie est consacrée à l'étude d'une nouvelle fonction zêta motivique. Il s'agit d'associer à un germe analytique une série formelle. Cette fonction zêta motivique généralise les fonctions zêta de Koike-Parusiński et de Fichou et admet une formule de convolution. Il s'agit d'un invariant pour l'équivalence blow-Nash. / The main purpose of this thesis is to study real singularities using arguments from motivic integration as initiated by S. Koike and A. Parusiński and then continued by G. Fichou. In order to classify real singularities, T.-C. Kuo introduced the blow-analytic equivalence which is an equivalence relation on real analytic germs without moduli for isolated singularities. This notion is closely related to the notion of arc-analytic maps introduced by K. Kurdyka, thus it is natural to adapt arguments from motivic integration to the study of the relation. The difficulty lies in finding efficient ways to prove that two germs are equivalent and in constructing invariants that distinguish germs which are not in the same class. We focus on the blow-Nash equivalence, a more algebraic notion which was introduced by G. Fichou. The first part of this thesis consists in an inverse theorem for blow-Nash maps. Under certain assumptions, this ensures that the inverse of a homeomorphism which is blow-Nash is also blow-Nash. Such maps are involved in the definition of the blow-Nash equivalence. In the second part, we associate a power series to an analytic germ, called the zeta function of the germ. This construction generalizes the zeta functions of Koike-Parusiński and Fichou. Furthermore, it admits a convolution formula while being an invariant for the blow-Nash equivalence.

隨著時代的變遷，家庭結構出現了龐大變化。尤其在社會氛圍瀰漫著「不婚、不生」的風氣下，人口轉型的速度比起過去大幅增加。根據行政院主計總處的調查，近年來單人家戶以及夫婦兩人家戶占總家庭戶數的比重已增長至33.01%。因此，在「單人」、「頂客」家庭越來越多的情況下，不僅僅改變了社會型態，也改變了家庭的消費模式。所以說，本研究企圖利用家庭收支調查以及普查資料進行分析，並使用R軟體運算資料以及視覺化呈現空間資訊。其研究的方向與重點有三：第一，本研究旨在探討在不同背景條件下，會分別產生出何種樣貌的單人家戶以及頂客家戶類型，以針對各類型家戶進行人口樣貌與背景特徵的比較分析；第二，於分類後，結合2010年普查資料中的鄉鎮市區地理資訊，來歸納出不同的家庭類型其區域分布的差異；最後，再使用家庭等值規模尺度之概念，從家庭的收入、消費支出著手，以瞭解在不同的單人家戶、頂客家戶類型中，其消費樣態的差異為何？單人家戶是否能夠達到與頂客家戶相同甚至更高的生活風貌？並探究出單人家戶者究竟能否透過消費來實現「樂單」生活。 本研究結果發現，在分布與特性中，無論是在單人家戶抑或頂客家戶，個人的背景會影響其未來組成家庭的樣貌，大部分的青年人口皆為高學歷，也因為教育年限的延長以及晚婚，導致這些人成為單人家戶抑或是頂客家戶的比率也隨之成長。尤其是在單人家戶裡的青年人口，逐漸成為現代中不容小覷的一群，其比率僅次於第一高的離異單人家戶。而在區域分布的部分，可以發現，單人家戶與頂客家戶的高齡人口比例，已足以影響整體家戶區域分布的狀況，實有必要透過本研究中的五種以及三種分類加以說明，才能夠更為精確地描述出各家戶的分布狀況。 最後，在消費趨勢中，則可以發現，一個家庭位於不同生命週期以及不同家庭規模之下，會呈現出不同比例的消費特性，家庭中的所有消費，除單人戶之外，均須考慮到規模經濟的影響，所以，最後研究者利用等值規模尺度概念進行運算，得出在單人階段與年輕夫妻階段，於家庭收支調查所列的消費項目都有較高的消費支出，而單人家戶又比頂客家戶更高，因此，由本文即可證明，單人家戶的消費，的確能夠比起其他家戶更為自由，其消費會以精美、自我實現為最大考量，使自己能夠獲得享受獨居生活之樂趣，所以說，「樂單」一詞足以取代「孤單」，成為「單人者」的新興代名詞。 / As time goes by, the structure of family has made some changement. Especially under the atmosphere of “no marriage, no plan to give birth to a child” within this society, the speed of demographic transition has risen intensely than the old times. According to the survey of The Directorate General of Budget, Accounting and Statistics (DGBAS) of Executive Yuan, the percentage of One-person household and Married-couple household have increased to 33.01% in all kinds of household. Hence, the increase of One-person, DINK household has not only change the social type but also the way of consumption of a family. This study attempt to analysis the changement by the Survey of Family Income and Expenditure and census data. I use R to run statistic data, and also to visualize space information. The research focus on three points: First, I would like to know what kind of One-person household and DINK household will be formed under different condition to do comparative analysis. Second, after categorizing, combined with the geography information in 2010. To distinguish the distribution pattern difference within each type of household. In the end, use the Household Equivalence Scale to see through the difference of consumption to be affected by income and consumption. If One-person household can be living at the same or even better than the DINK household? I would also like to know if One-person household can live their “Quirkyalone” life simply through consumption. According to the result, personal background will affect the future household feature both in One-person and DINK household. Most of the youth are highly educated, due to the extension of years of education and the postpone of going into marriage. These kind of persons are more likely to become One-person household or DINK household. Particularly the youth in the One-person household, their rate after the highest divorced One-person household. In the regional distribution, proportion of elderly population in the One-person and DINK household can affect the regional distribution of households. It needs to explain by the five and the three categories in this study, then precisely describe the distribution of household ratio. In the consumption trends, when a family at different stage and scale of life cycle will present different portion of consumption features. However, this proportionality is to ignore the fact that composition of One-person household is less than DINK household. Therefore, to take the effection of economies of scale into consideration, during single and newlyweds stage they have higher expense within the Survey of Family Income and Expenditure. Above all, the One-person household is higher than the DINK household. Thus, as a result, I can prove that the One-person household is more liberated than other household. They will take their self-fulfillment maximize into consideration while making consumptions. To increase the enjoyment of living alone. In a nutshall, “Quirkyalone” is a word that can replace “lonely”.

The measurement of reliable and valid indicators of early child development is necessary for assessing phenomena and is useful in the monitoring of ongoing efforts to eradicate inequalities in the social determinants of health. There is an increasing awareness of the contextual, cultural, and developmental influences on constructs used in early child development (ECD) research. Using a measurement perspective, this dissertation examined the issue of measurement invariance and psychometric validity in early child development research. A construct violates the principle of invariance when two persons from different populations who are theoretically identical on the construct being measured have different scores on it. This dissertation consists of three journal-style manuscripts (published or under review) that were used as examples to address the importance of the issue of measurement invariance and psychometric validity in ECD research using data from two unique areas: autism and executive functioning. The three data sets were collected on pre-school children with parents and or teachers as informants and were chosen to represent different levels of data collection – clinical, community, and population. These data sets allowed for the examination of measurement invariance by type of informant, sex, and age of child. The results from the three studies illustrate the importance of assessing measurement invariance in ECD and whether or not the instruments examined can be used to assess sub-group differences with confidence. A lack of measurement invariance found for two of the studies, suggests that observed group differences in latent constructs could be attributed, in part, to measurement bias. More importantly, bias in the measurement of the constructs of severity of social impairment symptoms in autism, and executive functioning across groups could have an impact on services such as patient treatment. These biases could also influence public policy development, particularly when there may be an underlying need for a cross-group approach where belief systems may affect the meaning and structure of constructs. In summary, measurement invariance should be a prerequisite for making any meaningful comparisons across groups. A requirement of establishing measurement invariance should be included in the guidelines for comparative research studies as a necessary first step before an instrument is adopted for use.

Le maintien ou l'amélioration de la biodiversité est un des objectifs importants de la gestion forestière durable. La flore du sous-bois, qui représente la partie la plus diversifiée de la flore dans les forêts tempérées, joue des rôles écologiques importants. Pourtant, elle pourrait être impactée par l'augmentation de la mécanisation de la gestion forestière. A l'échelle de la parcelle, nous avons étudié en forêt de Montargis les effets simples et combinés de caractéristiques du peuplement et de la surface en cloisonnement sur la diversité floristique du sous-bois (richesse et abondance). Les caractéristiques du peuplement (type de peuplement ou surface terrière des essences à étaient les meilleurs indicateurs de la diversité du sous-bois. La surface des cloisonnements avait un effet négligeable. A plus petite échelle – à l’intérieur du cloisonnement – nous avons étudié la réponse statistique de la diversité du sous-bois à la position dans ou hors du cloisonnement, à des facteurs micro-environnementaux (humidité du sol, compaction du sol, lumière) et aux caractéristiques du peuplement. A cette échelle, les meilleurs modèles incluaient pour les groupes écologiques la position par rapport au cloisonnement, l’humidité du sol et/ou la compaction du sol, selon le groupe écologique considéré. Au niveau espèce, la position par rapport au cloisonnement était le facteur dominant. Globalement, les cloisonnements avaient soit pas d’effet soit un impact positif sur la diversité floristique de sous-bois. Ces résultats ont dépendants du contexte écologique et historique de la forêt de Montargis. L’utilisation d’engins plus lourds ou des passages répétés sur une plus longue période pourraient changer ces conclusions. / Maintaining or improving biodiversity is an important goal of sustainable forest management.Ground flora, which is responsible for most floristic diversity in temperate forests, plays multiple important roles in biodiversity but may be impacted by the increasing mechanisation of forest practices. At stand scale, we investigated in Montargis forest the individual and combined effects of tree stand attributes and skid trail area on ground flora diversity. Tree stand attributes (stand type or basal area) were the best indicators of ground flora diversity, depending on the successional traits or light preference of the species group. The effects of skid trail area were negligible. At finer scale, we studied plant response to skid trail disturbance (represented by subplot on and off skid trails), micro-environmental factors (soil moisture, soil compaction, light) and stand attribute (stand type, basal area). The best models for ecological groups included subplot location, soil moisture or soil compaction, depending on which ecological groups (classified by life form, seed bank persistence, light and moisture requirements) the species belonged to. Stand type as a covariate played a significantly important role in fine-scale diversity pattern. Subplot location was the dominant factor at species level. In conclusion, skid trails had either no impact or a positive impact on ground flora diversity. These results are dependent on the context of Montargis forest (ecological and historical), especially that mechanized harvesting is relatively recent. The employment of heavier machines and increased number of passages is likely to happen. This might induce greater soil compaction and negative effects on plant.

Lors de ces vingt dernières années, de nouvelles techniques de refroidissement et de manipulation des atomes ont permis le développement de senseurs inertiels basés sur l’interférométrie atomique. Le projet ICE est un interféromètre atomique double espèce qui a pour objectif de tester le principe d’équivalence faible. Afin d’augmenter la sensibilité de l’instrument, l’expérience est réalisée en micro-gravité lors de vols paraboliques à borde l’Airbus A300 zero-g de Novespace. L’interféromètre est composé de deux espèces atomiques (87Rb et 39K) ayant des transitions atomiques très proches (780 et 767nm). Ces longueurs d’ondes sont générées par une source laser bi-fréquence ultra-stable. Issue des technologies telecom et ensuite doublées en fréquence, elle est capable de résister aux contraintes des vols paraboliques. Précédemment, des mesures d’accélérations furent réalisées par un interféromètre Rubidiumen 1g et 0g en vol. Récemment, à l’aide d’un nouveau dispositif expérimental reposant sur une nouvelle enceinte à vide en titane, nous avons réalisé un des premiers accéléromètres Potassium. Cet atome présente en effet certaines difficultés à refroidir et à manipuler et demande un excellent contrôle des différents paramètres expérimentaux.Je présente ainsi dans ce manuscrit, les résultats obtenus avec le Rubidium et le Potassium sur le nouveau dispositif expérimental, et les récents progrès réalisés en vue d’un accéléromètre double espèce Rb/K. / During the last two decades, new techniques to cool and manipulate atoms has enabled the development of inertial sensors based on atom interferometry. The ICE project aims to verify the weak equivalence principle (WEP) using a compact and transportable dual-species atom interferometer. To make precise tests of the WEP, this experiment is performed in a micro-gravity environment during parabolic flights onboard the Novespace zero-g aircraft. The interferometer is composed of two atomic species (87Rb et 39K) with similar transition wavelengths (780 nm and 767 nm), which are derived from frequency-doubled telecom lasers. This ultra-stable laser source is able to withst and the parabolic flight and their rough conditions.In previous work, we have demonstrated measurements from a cold rubidium interferometer during the 1g and 0g phases during flights. Recently, we manage to carry out one of the first gravimeter with 39K in a new titanium vacuum system. This is a huge achievement because this atom is hard to cool down and to manipulate. I will present in this thesis, the results with Rubidium and Potassium on the newset-up, I we will report on recent progress toward a double species 87Rb/39K interferometer.

Den här magisteruppsatsen består av en partiell översättning från japanska till svenska av IMAMURA Natsukos bok Kvinnan i den lila kjolen samt en översättningskommentar med fokus på kulturspecifika kategorier uttryckt i det japanska språket som egocentriciteten och andra kulturspecifika element i den japanska texten, de beskrivande onomatope (onomatopoetiska och mimetiska uttryck), och de västerländska låneordens förskjutningar (shifts) i en översättning. Dessa kategorier kan upplevas som svåra att översätta mellan två språk som ligger långt ifrån varandra. De teoretiska ramarna för uppsatsen lägger tyngdpunkten på riktningsekvivalens (directional equivalence), ett begrepp myntat av Anthony Pym, med fokus på likhet (similarities) i översättningen (Chesterman 1996), tillsammans med den etiska utgångspunkten representationell rättvisa (representational justice), beskrivet av Liu Yameng (2007). De utgör basen för översättningsmetoden och blir ledljus i översättningsval för översättning mellan språk i periferin av varandra. / This essay consists of a partial translation of IMAMURA Natsuko’s book The Woman In The Purple Skirt from Japanese to Swedish, together with a translation commentary focusing on egocentricity and other culture-specific concepts in Japanese texts, the descriptive onomatope (onomatopoetic and mimetic expressions) and the shifts in loanwords from western languages when translated. These categories are prone to cause issues when translating between languages so far removed from each other. The theoretical framework in this essay concentrates on directional equivalence, an expression coined by Anthony Pym, focusing on similarities in translations (Chesterman 1996) together with the ethical starting point representational justice as described by Liu Yameng (2007). These form the base for the translation method and serve as guiding lights in the choices made when translating between languages peripheral to each other.