Les contraintes arithmétiques sont largement utilisées dans les langages formels comme les expressions, les grammaires d'arbres et les chemins réguliers. Ces contraintes sont utilisées dans les modéles de contenu des types (XML Schemas) pour imposer des bornes sur le nombre d'occurrences de nœuds. Dans les langages de requêtes (XPath, XQuery), ces contraintes permettent de sélectionner les nœuds ayant un nombre limité de nœuds accessibles par une expression de chemin donnée. Les types et chemins étendus avec les contraintes de comptage constituent le prolongement naturel de leurs homologues sans comptage déjà considérés comme des constructions fondamentales dans les langages de programmation et les systèmes de type pour XML. Un des défis majeurs en programmation XML consiste à développer des techniques automatisées permettant d'assurer statiquement un typage correct et des optimisations de programmes manipulant les données XML. À cette fin, il est nécessaire de résoudre certaines tâches de raisonnement qui impliquent des constructions telles que les types et les expressions XPath avec des contraintes de comptage. Dans un futur proche, les compilateurs de programmes XML devront résoudre des problèmes de base tels que le sous-typage afin de s'assurer au moment de la compilation qu'un programme ne pourra jamais générer de documents non valides à l'exécution. Cette thèse étudie les logiques capables d'exprimer des contraintes de comptage sur les structures d'arbres. Il a été montré récemment que le mu-calcul sur les graphes, lorsqu'il est étendu à des contraintes de comptage portant exclusivement sur les nœuds successeurs immédiats est indécidable. Dans cette thèse, nous montrons que, sur les arbres finis, la logique avec contraintes de comptage est décidable en temps exponentiel. En outre, cette logique fournit des opérateurs de comptage selon des chemins plus généraux. En effet, la logique peut exprimer des contraintes numériques sur le nombre de nœuds descendants ou même ascendants. Nous présentons également des traductions linéaires d'expressions XPath et de types XML comportant des contraintes de comptage dans la logique. / Arithmetical constraints are widely used in formal languages like regular expressions, tree grammars and paths. In XML they are used to impose bounds on the number of occurrences described by content models of schema languages (XML Schema, RelaxNG). In query languages (XPath, XQuery), they allow selecting nodes that have a bounded number of nodes reachable by a given path expression. Counting types and paths are thus natural extensions of their countless counterparts already regarded as the core constructs in XML languages and type systems. One of the biggest challenges in XML is to develop automated techniques for ensuring static-type safety and optimization techniques. To this end, there is a need to solve some basic reasoning tasks that involve constructions such as counting XML schemas and XPath expressions. Every compiler of XML programs will have to routinely solve problems such as type and path type- checking, for ensuring at compile time that invalid documents can never arise as the output of XML processing code. This thesis studies efficient reasoning frameworks able to express counting constraints on tree structures. It was recently shown that the mu-calculus, when extended with counting constraints on immediate successor nodes is undecid able over graphs. Here we show that, when interpreted over finite trees, the logic with counting constraints is decidable in single exponential time. Furthermore, this logic allows more general counting operators. For example, the logic can pose numerical constraints on number of ancestors or descendants. We also present linear translations of counting XPath expressions and XML schemas into the logic.

De nos jours, les workflows sont largement utilisés par les entreprises et les organisations en vue d’améliorer l’efficacité organisationnelle, la réactivité et la rentabilité en gérant les tâches et les étapes de processus opérationnels. La vérification des spécifications est devenue obligatoire afin d’assurer que ces processus sont correctement conçus et atteignent le niveau de confiance et de qualité attendu.Dans ce contexte, cette thèse porte sur la vérification de spécifications modales – comportements nécessaires ou recevables impliquant plusieurs activités et leurs causalités – de workflows nets – une classe de réseaux de Petri adaptés à la description de workflows. En particulier, cette thèse définit un cadre novateur permettant de modéliser les exécutions de workflow nets,avec ou sans données, et de vérifier des spécifications modales à l’aide de systèmes de contraintes. Elle présente également deux méthodes de réduction préservant la "generalised soundness" et la validité d’une spécification modale donnée. Ces méthodes de réduction sont ensuite présentées comme des étapes de prétraitement réduisant la taille des workflow nets, de sorte que la vérification des propriétés conservées puisse être effectuée sur de plus petites instances. Enfin, cette thèse présente les outils qui ont été mis en oeuvre ainsi que des expérimentations qui ont été menées sur un grand nombre de workflows industriels afin de valider les approches proposées dans cette thèse. Ces résultats expérimentaux convaincants mettent en évidence l’efficacité, l’efficience et le passage à l’échelle de la méthode vérification de spécification modales ainsi que des méthodes de réduction introduites dans cette thèse. / Nowadays workflows are extensively used by companies and organisations in order to improve organizationaleffciency, responsiveness and profitability by managing the tasks and steps of business processes. Theverification of specifications has become mandatory to ensure that such processes are properly designedand reach the expected level of trust and quality. In this context, this thesis addresses the verification ofmodal specifications – necessary or admissible behaviour involving several activities and their causalities –of workflow nets – a Petri nets class suited for the description of workflows.In particular, it defines an innovative constraint system based framework to model executions of ordinary as wellas coloured workflow nets, and verify modal specifications. Further, it presents powerful reduction methodspreserving properties of interest such as generalised soundness and correctness of a given modal specification.Such reduction methods are then portrayed as pre-processing steps reducing workflow nets size, so that theverification of preserved properties can be carried out on smaller instances.Finally, as a practical contribution, this thesis introduces the tools that have been implemented as well asexperimentations that have been carried out over industrial workflow nets in order to validate the approachesproposed in this thesis. The convincing experimental results highlight the effectiveness, effciency andscalability of the modal specification verification method and reduction methods introduced in this thesis.

[ES] El objetivo de este trabajo es analizar las perífrasis modales, sus significados y la existencia de variación en las secciones mencionadas del artículo científico en un corpus de las secciones denominadas "introducción" y "conclusión" del artículo de investigación en la disciplina de turismo. Estos textos se han extraído de revistas en el campo y con un índice de impacto notorio en la especialidad. Las perífrasis modales reflejan el punto de vista del hablante. Como parte de la metodología, se usan herramientas de lingüística de corpus que permiten la gestión de los textos y su consulta, además de la extracción de ejemplos concretos que ilustren las formas, las categorías semánticas y las funciones que se encuentren en los textos estudiados. Sin embargo, dado que el contexto es fundamental para poder identificar los significados modales, parte del análisis de los textos requiere de un reconocimiento visual directo de cada caso, pues una misma perífrasis modal puede indicar diferentes significados. El análisis y discusión de los datos se nutre de estudios en lingüística funcional que permitan dar cuenta de los usos y funciones. Las conclusiones indican que, en efecto, existe variación no solo en cuanto a las formas usadas en cada una de las introducciones y en las conclusiones, sino también con respecto al significado. En este sentido, se constata que la modalidad dinámica es más frecuente en las introducciones, según frecuencias relativas, y la modalidad epistémica es más frecuente en las conclusiones. Igualmente, se han detectado varias funciones estrechamente relacionadas con los significados modales. Así, la función de mitigación y cortesía lingüística se relaciona en mayor medida con la modalidad epistémica y lo mismo ocurre con la formulación del significado inferencial, que refiere a la necesidad epistémica. La expresión de la factualidad y de la imposibilidad se nutren de la modalidad dinámica, mientras que la predicción, la organización de los contenidos, la autoridad y la recomendación se manifiestan con el uso de la modalidad deóntica. / [CA] L'article d'investigació en el camp dels estudis de turisme no ha sigut prou estudiat, malgrat ser una disciplina que representa un sector de desenvolupament econòmic per a nombrosos països. Altres gèneres textuals relacionats amb el registre turístic com el resum, els fullets i les pàgines webs en el registre turístic, els últims amb gran rellevància pel seu clar impacte social i econòmic dels estudis turístics, han rebut major atenció. La investigació científica en turisme, no obstant això, proveeix a les organitzacions, ja siguen públiques o privades, d'informació rellevant per a la millora de l'activitat que es tradueixen en recomanacions que, amb freqüència, s'aporten en les conclusions d'aquests treballs. S'entén, per tant, que existeix una relació directa entre el progrés del sector i la investigació empírica, la qual cosa, al seu torn, indica l'interés per la publicació acadèmica periòdica. Per aquest motiu, en aquest treball, s'inclou una caracterització formal del gènere en una estructura de seccions. Aquest estudi es complementa amb una anàlisi de les estructures lèxic-gramaticals recurrents en cadascuna de les seccions de l'article científic i les variables lèxiques i sintàctiques que caracteritzen al text dins del registre científic, tant per la complexitat com pel nivell d'elaboració que exhibeix la llengua usada en aquests treballs. Aquestes estructures persegueixen indicar la perspectiva dels autors, entre altres aspectes. Dit això, l'objectiu d'aquest treball és analitzar les perífrasis modals, els seus significats i l'existència de variació en les seccions denominades "introducció" i "conclusió" de l'article d'investigació en la disciplina de turisme. Aquests textos s'han extret de revistes en el camp i amb un índex d'impacte notori en l'especialitat. Les perífrasis modals reflecteixen el punt de vista del parlant. Com a part de la metodologia, s'usen eines de lingüística de corpus que permeten la gestió dels textos i la seua consulta, a més de l'extracció d'exemples concrets que il·lustren les formes, les categories semàntiques i les funcions que es troben en els textos estudiats. No obstant això, atés que el context és fonamental per a poder identificar els significats modals, part de l'anàlisi dels textos requereix d'un reconeixement visual directe de cada cas, perquè una mateixa perífrasi modal pot indicar diferents significats. L'anàlisi i discussió de les dades es nodreix d'estudis en lingüística funcional que permeten donar compte dels usos i funcions Les conclusions indiquen que, en efecte, existeix variació no sols quant a les formes usades en cadascuna de les introduccions i en les conclusions, sinó també respecte al significat. En aquest sentit, es constata que la modalitat dinàmica és més freqüent en les introduccions, segons freqüències relatives, i la modalitat epistémica és més freqüent en les conclusions. Igualment, s'han detectat diverses funcions estretament relacionades amb els significats modals. Així, la funció de mitigació i cortesia lingüística es relaciona en major mesura amb la modalitat epistémica i el mateix ocorre amb la formulació del significat inferencial, que es refereix a la necessitat epistémica. L'expressió de la factualidad i de la impossibilitat es nodreixen de la modalitat dinàmica, mentre que la predicció, l'organització dels continguts, l'autoritat i la recomanació es manifesten amb l'ús de la modalitat dóntica. / [EN] The research article in the field of tourism studies has not been sufficiently studied, despite being a discipline strongly connected with a sector of economic growth for many countries. Other textual genres related to the tourism register such as the summary, brochures and web pages in the tourism register, the latter with great relevance for their clear social and economic impact of tourism studies, have enjoyed more scholarly attention. Scientific research in tourism, however, provides organisations, whether public or private, with relevant information for the improvement of the activity, which translates into recommendations that are often included in the conclusions of these studies. It is held, therefore, that there is a direct relationship between the development of the sector and empirical research, which, in turn, shows the interest in academic publications in leading journal. For this reason, this paper includes a formal characterisation of the genre into sections. This study is supplemented with a description of the recurrent lexicalgrammatical structures in each of the sections of the scientific article and the lexical and syntactic variables that characterise the text within the scientific register, both in terms of the complexity and the level of elaboration exhibited in the language used in these works. These structures are intended to signal the authors' perspective, among other aspects. That said, the aim of this paper is to analyse modal verbs, their meanings and the existence of variation in the "introduction" and "conclusion" sections of the research article in the discipline of tourism. These texts have been taken from leading journals in the field and with a clear impact index in the discipline. Modal verbs reflect the speaker's point of view. As part of the methodology, corpus linguistics tools are used to allow the management of the texts and their consultation, as well as the excerption of concrete examples illustrating the forms, the semantic categories and the functions found in the texts studied. However, given that context is fundamental to the identification of modal meanings, part of the analysis of the texts requires direct visual recognition in each occurrence, as the same modal verb may entail several meanings. The analysis and discussion of the data is informed by studies in functional linguistics which allow us to count on the uses and functions of the different modal forms. The conclusions indicate that there is indeed variation not only in terms of the forms used in each of the introductions and conclusions, but also in terms of meaning. In this sense, it is found that dynamic modality is more frequent in the introductions, according to their relative frequencies, and epistemic modality is more frequent in the conclusions. Likewise, several functions closely related to modal meanings have been detected. Thus, the function of mitigation and linguistic politeness is most closely related to epistemic modality, as is the formulation of inferential meaning, which refers to epistemic necessity. The expression of factuality and impossibility are nourished by the dynamic modality, while prediction, content while prediction, content organisation, authority and recommendation are manifested using deontic modality. The thesis is structured in five chapters, and bibliographical references are included finally in this dissertation. / Domínguez Morales, ME. (2021). Los verbos modales en las introducciones y en las conclusiones de los artículos científicos de turismo [Tesis doctoral]. Universitat Politècnica de València. https://doi.org/10.4995/Thesis/10251/172247 / TESIS

Un mot et une signification peuvent entretenir une relation naturelle, motivée, plutôt qu’arbitraire, via la composition segmentale dudit mot. Ce phénomène est souvent appelé symbolisme sonore, même si nous préfèrerons employer le terme de motivation par la suite. Dans la littérature, des éléments en faveur d’une relation motivée apparaissent à la fois dans des analyses translinguistiques et des expérimentations psycholinguistiques. Par exemple, une voyelle fermée telle que [i] est davantage associée à la petitesse qu’une voyelle ouverte telle que [a], davantage associée à une taille importante. Ce schéma apparait à la fois dans les lexiques de différentes langues (Ohala, 1997) et dans les résultats de tâches d’associations (Sapir, 1929), avec des participants parlant différentes langues et à différents âges. Du fait de ces éléments communs (Iwasaki et al., 2007) et de leur précocité (Ozturk et al., 2013), il est possible de formuler l’hypothèse que la motivation a pu être un élément clé dans l’émergence du langage (Imai et al., 2015), en facilitant les interactions et l’accord entre les individus.Cette thèse offre plusieurs contributions méthodologiques à l’étude des associations motivées entre formes phonétiques et significations. La première étude a pour objectif de déterminer si des caractéristiques associées à des animaux (e.g. la dangerosité) ou à leurs catégories biologiques (oiseaux vs. poissons, sur la base de l’étude conduite par Berlin en 1994)peuvent représenter des concepts pertinents dans la mise en évidence d’associations motivées, en se basant sur l’hypothèse que les animaux étaient des sujets récurrents et importants des premières interactions langagières (en tant que potentielles sources de nourriture ou de menace). Cette étude a soulevé des questions méthodologiques, qui ont conduit à une seconde étude, dont le but était de comparer différents protocoles de tâches d’association que l’on peut trouver dans les études sur la motivation. En effet, les protocoles et les populations étudiées varient d’une étude à l’autre, et il est ainsi difficile de déterminer quel est le contraste le plus déterminant pour la mise en valeur expérimentale d’associations motivées : le contraste phonétique, ou le contraste conceptuel. Cette deuxième étude a ainsi permis d’apprécier l’influence de différents protocoles en contrôlant d’autres sources de variations à travers les différentes tâches. Elle a aussi permis de mettre en évidence la nécessité d’étudier davantage les processus cognitifs impliqués dans les associations. Ainsi, nous avons poursuivi notre investigation en noustournant vers l’influence de la forme des lettres, un facteur potentiellement déterminant dans les tâches ‘bouba-kiki’, comme l’ont proposé Cuskley et al. (2015). Bouba-kiki est un paradigme très répandu dans l’étude des associations motivées et consiste à associer des pseudomots avec des formes pointues ou arrondies. Cuskley et al. ont proposé qu’une forme pointuefaciliterait le traitement d’un pseudo-mot contenant une lettre anguleuse, telle que ‘k’. Dans notre troisième étude, nous avons adopté une version implicite de la tâche bouba-kiki, plus précisément une tâche de décision lexicale, en nous basant sur une étude antérieure de Westbury (2005). Dans cette expérience précédente, des cadres pointus et arrondis, dans lesquels apparaissaient les stimuli linguistiques, facilitaient le traitement de pseudo-mots en fonction de leurs compositions segmentales (e.g. les formes pointues accéléraient le traitement d’occlusives non-voisées telle que [k]). Nous avons manipulé les formes des lettres via deux polices de caractères différentes, une anguleuse et une curviligne, et avons ainsi essayé de démêler lesimpacts respectifs des formes des cadres et des polices sur les temps de réponse des participants. Les résultats ont mis en lumière l’importance de prendre en considération des processus visuels de bas-niveau dans l’étude des associations motivées. / Sound symbolism, or motivation as we will later refer to it, corresponds to the assumption that some words have a natural relation with their significations, instead of an arbitrary one, through their segmental composition. Some evidence stands out from the literature, from cross-linguistic investigations to psycholinguistic experimentations. For example, a closed vowel [i] is more associated to smallness, while an open vowel like [a] is more associated to largeness. This pattern appears in the lexicon of different languages (e.g. Ohala, 1997), as well as in results of associative tasks (Sapir, 1929) with participants speakingdifferent languages and at different life stages. These commonalities (e.g. Iwasaki, Vinson, & Vigliocco, 2007) and their earliness (e.g. Ozturk, Krehm, & Vouloumanos, 2013) enable to formulate the hypothesis that motivation may have represented a key-driver in the emergence of language (Imai et al., 2015), by facilitating interactions and agreement between individuals.This thesis offers several methodological contributions to the study of motivated associations. The first study of this thesis aimed at assessing whether animal features (e.g. dangerousness) or biological classes (birds vs. fish, based on Berlin, 1994) would be relevant concepts for highlighting motivated associations, based on the assumption that animals would have represented suitable candidates for the content of early interactions (as potential sources of food and threats). It raised issues regarding methodological settings which led to the second study consisting in comparing different protocols of association tasks that are found across experimentations. Indeed, in the literature, the settings and population vary from one study to another, and it is therefore not possible to determine which one of the two types of contrasts implied in association tasks is determinant for making associations: either the phonetic one or the conceptual one. This second study permitted to appraise the influence of different protocols by controlling for other sources of variation across the tasks. It also highlighted the need to better analyze the cognitive processes involved in motivated associations. This led us to complement our investigation of phonetic and conceptual contrast with a study on the influence of the graphemic shapes of letters, following Cuskley, Simmer and Kirby (2015)’s proposal of an impact of the shapes of letters in the bouba-kiki task. This task is a well-known paradigm in the study of motivated associations, based on associating pseudo-words with round or spiky shapes. Cuskley et al. suggested that a spiky shape would facilitate the processing of a pseudoword that contains an angular letter such as ‘k’. On our third study, we considered an implicit version of the ‘bouba-kiki’ task, namely a lexical decision task, building on a previous experiment by Westbury (2005). In this experiment, spiky and round frames, in which the linguistic stimuli appeared, seemed to facilitate the processing of pseudo-words according to their segmental composition (e.g. spiky frames would facilitate the processing of voiceless plosives like [k]). We manipulated the shapes of letters with two different fonts for displaying linguistic stimuli – one angular and one curvy – and tried to disentangle the respective impacts of frames and of these fonts on the participants’ response times. The results highlighted the importance of taking into account low-level visual processes in the study of motivated associations.

This study focuses on the notions of deontic and dynamic modality in Spanish and how they are expressed through the modal verbs deber ‘must’ and tener que ‘have to’. The analysis is based on a corpus of political debates from the European Parliament, conducted 2010‒2011 by Spanish MEPs. In total, 578 occurrences of deber and 334 occurrences of tener que have been studied in detail, in order to understand their semantic and pragmatic behavior. Out of the 912 cases, 860 were classified as deontic necessity and 52 as dynamic necessity. When separating the deontic readings from the dynamic ones, the notions of volitivity and factuality proved to be crucial: whereas deontic cases are volitive and non-factual, dynamic cases can be described as non-volitive and, to a high extent, factual. In order to further examine the deontic uses, four classificatory variables were taken into account, namely, grammatical person, degree of agentivity, tense and source of the necessity. The distributions of deber and tener que were analyzed using Chi-square tests. Statistically significant differences were found for all four variables. The results show that deber is highly preferred in the third person, whereas tener que occurs equally often in the first and third person. Moreover, deber occurs more frequently in contexts which obscure the responsible agent, such as the impersonal se construction and inanimate subjects. As far as tense is concerned, the major difference between deber and tener que is found in the conditional tense, where tener que barely occurs, while deber is fairly frequent. A final difference between the two verbs is that the speaker usually is the source of the necessity when tener que is used, whereas deber is the first option when the speaker refers to another source or authority. In conclusion, it is argued, firstly, that there is a clear difference between deontic and dynamic modality in Spanish, and secondly, that deber and tener que display different semantic and pragmatic functions in deontic contexts, pointing towards an intersubjective use of deber and a subjective use of tener que.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Le vieillissement et la maladie d’Alzheimer (MA) sont caractérisés par des difficultés mnésiques associées à leurs altérations sensorielles et perceptives. Ces liens s’expliqueraient naturellement par les approches incarnées de la cognition qui définissent les connaissances comme ancrées dans leurs propriétés modales (sensori-motrices). Afin de tester ces approches incarnées, deux séries d’expériences ont été conduites auprès de jeunes adultes, personnes âgées saines et patient MA. Ces expériences combinaient une batterie complète de tests neuropsychologiques et un paradigme d’amorçage intersensoriel (audition vers vision). L’originalité fut l’ajout, pour la moitié des amorces auditives, d’un masque visuel sans signification. L’Expérience 1 était constituée deux phases distinctes, alors que dans l’Expérience 2, l’amorce et la cible étaient présentées dans un même essai. Les résultats démontrent un effet d’amorçage intersensoriel pour les jeunes adultes et les personnes âgées. Le masque a interféré avec cet effet d’amorçage, mais uniquement lorsque l’amorce et la cible correspondent à une même connaissance. Cette interférence et sa spécificité démontrent que les jeunes adultes comme les personnes âgées auraient des connaissances modales. En revanche, les patients MA ne présentent pas d’effet d’amorçage alors que celui-ci est de nature perceptive. Ces résultats supportent l’idée d’une déconnexion cérébrale dans la MA. L’ensemble des données permet de supposer que les difficultés mnésiques dans le vieillissement s’expliqueraient essentiellement par une dégradation de la qualité de leurs connaissances en lien avec leur perception. Les troubles mnésiques dans la MA proviendraient quant à eux d’un déficit d’intégration dynamique des différentes composantes des connaissances. Ces approches placent les interactions entre mémoire et perception au cœur du fonctionnement mnésique. / Normal aging as Alzheimer’s disease (AD) are characterized by memory disorders associated with the sensory and perceptive decline. These links may be easily explained in the embodied cognition theory, because in this one, knowledge remains grounded in its properties (mainly sensory-motor). The objective of the present research is to assess the embodied cognition theory applied to young adults, healthy elderly and patient with AD. In two experiments, a complete neuropsychological battery was associated with a cross-modal priming paradigm (audition to vision). The novelty of the paradigm was to present a visual meaningless mask for half of the sound primes. Experiment 1 was composed of two distinct phases, whereas the prime and the target were presented in the same trial in Experiment 2. The results demonstrated a significant cross-modal priming effect in young and healthy elderly adults. The mask has interfered with the priming effect only in the semantic congruent situations. The mask interference and its specificity demonstrate that young and elderly adults have modal knowledge. Reversely, the patients with AD did not show any priming effect while the effect is perceptual. This result supports the cerebral disconnection hypothesis in AD. The data taken together suggest that memory disorders in normal aging could be related to a degradation of the quality of their perception and thus of knowledge. Memory impairments in AD might come from an integration disorder to dynamically bind the different components of a memory. The present research support the embodied cognition theory and demonstrates the interest of this kind of approach to explore memory functioning in neuropsychology, such as in aging. These approaches put on the foreground the interactions between memory and perception.

Le présent travail part d'un concept heuristique, le « travail de l'altérité », pour élucider un faisceau de propriétés syntaxiques et fonctionnelles des mots du discours en allemand. Nous posons l'idée d'une coexistence entre points de vue différents à l'intérieur d'un même énoncé, et distinguons trois types de prise en compte de cette altérité constitutive. Un énoncé peut être pris comme une expression partielle et partiale de ce qu'il y aurait à dire, et coexister avec d'autres points de vue sur un mode cumulatif. C'est le domaine d'intervention d'une classe d'adverbiaux que nous qualifions de perspectivaux et que l'on peut identifier par un ensemble de propriétés distributionnelles précises. L'énoncé peut être construit par contrepied vis-à-vis d'autres énoncés possibles, correspondant à des solutions préconstruites (phénomènes de focalisation). On distingue alors les adverbiaux paradigmatisants, classe fonctionnelle associée à des propriétés sémantico-syntaxiques précises, de l'ensemble plus vaste des adverbiaux sensibles au focus, mais aussi des adverbes spécialisés dans l'expression du parcours sur une classe d'arguments. Ceux-ci accèdent à la fonction d'adverbial paradigmatisant, mais peuvent apparaître dans d'autres fonctions. Enfin, la gestion de la pluralité des points de vue peut correspondre à la coexistence d'avis divergents sur la validité du contenu. Ce mode d'altérité est géré en allemand par les particules modales, classe strictement fonctionnelle dont l'analyse débouche sur une reconsidération des types d'énoncés, conçus comme des configurations d'indices locutoires, dans une perspective austinienne. / This study deals with three groups of discourse markers in German: (i) disjuncts and attitudinal adverbials (henceforth "perspectival adverbials"), (ii) focus particles ("paradigm-scanning adverbials") and (iii) modal particles. The starting point of the analysis is the heuristic notion of "Otherness at work", i.e. the constitutive role of coexisting heterogeneous viewpoints: the three groups of discourse markers, each of which has the status of a functional class with recurring distributional properties, correspond to three modes of Otherness. First, an utterance can be seen as expressing a biased and selective perspective on "What there is". It thus coexists with other, possible yet dispreferred perspectives. Modal adverbials, argumentative disjuncts and metalinguistic markers are various subtypes of these perspectival adverbials. Further, the utterance (or a constituent thereof) can be located into a set of conflicting alternatives thanks to various focussing strategies. It is necessary to distinguish between focus-sensitive adverbials as a whole, the functional class of paradigm-scanning adverbials, and the lexical set of contrastive adverbs that can access the aforementioned function. The traditional class of "focus particle" is thus deconstructed along three different, non-parallel levels. Finally, constitutive otherness can stand for conflicting or mixed views about the validity of the propositional content. This kind of Otherness, which can (but needs not) correspond to modal intersubjectivisation, is the semantic domain of modal particles, which are analyzed here in their interaction with sentence mood.

Les travaux présentés dans cette thèse s'inscrivent dans le contexte des vibrations d'usinage et plus spécialement des parois minces, typiques des pièces de structure aéronautique. L'objectif est de contribuer à la maîtrise des phénomènes vibratoires à la fois au niveau théorique et pratique.<br />Nous avons identifié plusieurs voies de recherche visant : l'extension des méthodes classiques utilisant les « lobes de stabilité », la modélisation des phénomènes transitoires intervenant pendant une même passe d'usinage et enfin l'utilisation de la variation continue de la vitesse de rotation de l'outil.<br />La généralisation du tracé des lobes de stabilité sur une pièce à paroi fine, avec un comportement vibratoire très riche, impose l'ajout d'une troisième dimension permettant de prendre en compte les évolutions des paramètres au cours de l'usinage. Cette démarche permet l'amélioration notable d'une opération d'usinage. Cependant, certaines phases sont impossibles à optimiser et présentent un comportement très complexe, difficile à modéliser en pratique. La troisième partie porte sur le développement d'un modèle numérique relativement simple, permettant de prendre en compte tous les aspects, jugés indispensables à la modélisation de parois minces. L'utilisation de ce modèle temporel permet notamment d'interpréter les états de surface évolutifs, très souvent observés sur les passes d'usinage, mais rarement expliqués dans le détail, à notre connaissance.<br />La dernière partie présente l'étude et la mise au point d'une solution de réduction des vibrations régénératives, par une variation continue de la vitesse de rotation de la broche. Cette méthode apporte des gains importants en usinage grande vitesse, notamment dans la zone du « flip lobe ». Cependant, elle peut faire apparaître des vibrations transitoires, à l'échelle de la période de variation, qui réduisent son efficacité.

En informatique, les logiques formelles ont une place centrale dans la représentation et le traitement des connaissances. Elles sont utilisées pour la modélisation et la vérification de systèmes informatiques et de leurs propriétés ainsi que pour la formalisation de différents types de raisonnement. Dans ce contexte il existe un large spectre de logiques non-classiques parmi lesquelles les logiques modales jouent un rôle important. Alors que les logiques modales classiques ont été largement étudiées, nous nous focalisons dans cette thèse sur les logiques modales intuitionnistes et aussi hybrides floues en abordant un certain nombre de questions principalement du point de vue de la théorie de la démonstration. Nous proposons pour ces logiques de nouveaux systèmes de preuve, notamment suivant les formalismes de déduction naturelle et de calcul des séquents, qui sont fondés sur de nouvelles structures multi-contextuelles généralisant la structure standard de séquent. Ainsi dans le cadre des logiques modales intuitionnistes formées à partir des combinaisons des axiomes T, B, 4 et 5, nous définissons des systèmes de preuve sans labels ayant de bonnes propriétés comme par exemple celle de la sous-formule. En outre, nous proposons des procédures de décision simples à partir de nos nouveaux calculs des séquents. Nous étudions également la première version intuitionniste de la logique hybride IHL et nous proposons son premier calcul des séquents à partir duquel nous donnons la première démonstration de sa décidabilité. Enfin, nous introduisons une nouvelle famille de logiques hybrides floues fondées sur les logiques modales de Gödel. Nous proposons pour ces logiques des procédures de décision avec génération de contre-modèles en utilisant un ensemble de règles de preuve fondées sur une structure multi-contextuelle adaptée.