Cette étude est consacrée à l’analyse synchronique et diachronique des déterminants tout et n’importe quel. Dans le cas de tout, nous nous intéressons à son emploi en tant que déterminant à choix libre. N'importe quel est par nature un déterminant à choix libre, contrairement à tout, qui a d'autres interprétations possibles. Un déterminant à choix libre indique le choix indiscriminé d’un référent parmi un ensemble d’individus possibles. L’analyse synchronique de tout et de n'importe quel a comme point de départ une considération des analyses proposées pour le déterminant anglais any. Puis, nous présentons la distribution des deux déterminants français. Leurs valeurs interprétatives et leurs forces quantificationnelles sont déterminées. Les différences entre tout et n'importe quel sont mises en évidence, tant au niveau syntaxique que sémantique. En ce qui concerne la diachronie, nous notons deux différences entre ces deux déterminants : leur origine et la période d’entrée dans le lexique français. Du fait de ces disparités, l’analyse diachronique menée pour tout est différente de celle menée pour n’importe quel. Concernant n’importe quel, il est décrit son processus de formation, dont le point de départ est l'apparition du verbe importer dans le lexique français. Des réponses sont avancées quant à l'apparition de n'importe quel malgré la présence d'autres items à choix libre ayant une signification très proche, comme un…quel qu'il soit. L’analyse de tout est surtout basée sur l’évolution de sa distribution et sur le fait qu’il n’est pas forcément un item à choix libre. / The aim of the present dissertation is to give a synchronic and diachronic analysis of the French determiners tout and n’importe quel. As for tout, we focus on its use as a free choice determiner. Whereas tout can have other interpretations, n'importe quel can be interpreted only as a free choice item. Free choice determiners allow a random selection of a referent from a set of possible individuals. The synchronic analysis of tout and n'importe quel starts by considering several analyses provided for the English determiner any. Then, we present the distribution of the two determiners in French. We analyze the role of context on their interpretation and determine their quantificational force. The differences between tout and n'importe quel are pointed out with respect to both their syntax and their semantics. As for the diachronic analysis, we start by pointing out two differences between the two determiners: their origin and the period of time when they entered the French lexicon. Because of these differences, our analysis of the diachrony of tout is carried out in a different way from the analysis of n’importe quel. In the case of n'importe quel, we describe the process which led to its formation which began with the entry of the verb importer in the French lexicon. We explain why the determiner n'importe quel appeared, despite the existence of other free choice items, such as un…quel qu'il soit which have an interpretation that is very close to that of n'importe quel. Our analysis of tout is based mainly on the evolution of its distribution and on the fact that this determiner is not necessarily a free choice item.

La biométrie est le domaine technologique traitant de la vérification d'identité et/ou de l'identification de personnes par leurs caractéristiques physiques individuelles, morphologiques ou comportementales. En plus d'être une des modalités biométriques les moins intrusives et donc plus facilement acceptée, la modalité « visage parlant » est intrinsèquement multimodale : elle regroupe la reconnaissance du visage, la vérification du locuteur et une troisième modalité portant sur la synchronie entre la voix et les lèvres. Les protocoles d'évaluation classiquement utilisés ne tiennent pas compte des tentatives délibérées d'imposture. Aussi, nous confrontons, dans la première partie, un système de référence (basé sur la fusion des scores de vérification du locuteur et du visage) à quatre types d'imposture délibérée de type rejeu et mettons en évidence ses faiblesses. Dans la seconde partie, nous étudions la synchronie audiovisuelle entre le mouvement des lèvres acquis par la caméra et la voix acquise par le microphone. Plusieurs nouvelles mesures de synchronie basées sur l'analyse de corrélation canonique et l'analyse de co-inertie sont évaluées sur la tâche de détection d'asynchronie. Une nouvelle modalité biométrique basée sur la mesure de synchronie dépendante du client est proposée. Sa robustesse intrinsèque aux attaques de type rejeu est mise en évidence. La complémentarité entre le système de référence et cette nouvelle modalité est utilisée dans le cadre de stratégies de fusion originales, de façon à trouver un compromis entre performances brutes et robustesse à l'imposture.

La perception explicite du temps écoulé (la durée, l'ordre temporel¿) et les jugements implicites des dynamiques de notre environnement (percevoir le mouvement, la parole) nécessitent l'extraction des relations temporelles entre événements sensoriels. Alors que le temps physique est communément évalué en rapport à un référentiel externe (celui de l'horloge), le cerveau lui n'a pas accès à ce référentiel. Dans cette thèse, nous émettons l'hypothèse que le cerveau génère son propre référentiel temporel à partir des dynamiques neurales. Combinant la magnétoencéphalographie (MEG) aux données psychophysiques, les présents travaux suggèrent que les oscillations corticales sont impliquées dans l'encodage du temps perçu. Une première étude montre que la phase des oscillations corticales basse-fréquences peut encoder l'ordre temporel perçu entre événements sensoriels s'il y a entrainement neural, i.e. si l'activité cérébrale suit les régularités temporelles de la stimulation. L'implication des oscillations cérébrales en l'absence d'entrainement est testée dans une seconde expérience. Les résultats d'une troisième expérience suggèrent que l'entrainement neural n'a d'influence sur le traitement temporel des informations multisensorielles qu'à basse fréquence (1-2 Hz). Un dernier chapitre aborde le rôle de l'entrainement neural dans l'encodage des dynamiques du signal acoustique pour la perception de la parole. En conclusion, cette thèse suggère que le cerveau est capable de suivre la structure temporelle du monde extérieur, et que cet ajustement permet la construction d'un référentiel temporel interne pour la perception explicite et implicite du temps. / The timing of sensory events is a crucial perceptual feature, which affects both explicit judgments of time (e.g. duration, temporal order) and implicit temporal perception (e.g. movement, speech). Yet, while the relative external timing between events is commonly evaluated with a clock in physics, the brain does not have access to this external reference. In this dissertation, we tested the hypothesis that the brain should recover the temporal information of the environment from its own dynamics. Using magnetoencephalography (MEG) combined with psychophysics, the experimental work suggests the involvement of cortical oscillations in the encoding of timing for perception. In the first part of this dissertation, we established that the phase of low-frequency cortical oscillations could encode the explicit timing of events in the context of entrainment, i.e. if neural activity follows the temporal regularities of the stimulation. The implications of brain oscillations for the encoding of timing in the absence of external temporal regularities were investigated in a second experiment. Results from a third experiment suggest that entrainment does only influence audiovisual temporal processing when bound to low-frequency dynamics in the delta range (1-2 Hz). In the last part of the dissertation, we tested whether oscillations in sensory cortex could also ‘tag’ the timing of acoustical features for speech perception. Overall, this thesis provides evidence that the brain is able to tune its timing to match the temporal structure of the environment, and that such tuning may be crucial to build up internal temporal reference frames for explicit and implicit timing perception.

Ce travail est centré sur le fonctionnement précoce des bébés autistes, encore mal connu. Notre étude développementale des films familiaux montre qu'ils manquent d'intérêt pour autrui dès la 1e année mais un évitement actif n'apparaît que la 2e année. Il y aurait donc une dynamique aboutissant au "déficit" relationnel final (passant peut-être par un défaut d'intersubjectivité). Pour comprendre cette dynamique, nous avons pris en compte à l'aide de méthodes computationnelles la synchronie parents-bébé sur des films familiaux: les bébés ont un déficit très précoce en orientation vers l'autre puis en "intersubjectivité"; les parents répondent normalement à leur bébé, mais le sollicitent plus intensément dès le premier semestre. Mais le déficit relationnel du bébé a-t-il des répercussions affectives sur ses parents ? Le mamanais (IDS) marque l'émotion dans l'interaction; pris dans une boucle interactive, il stimule à la fois l'engagement social et le développement cognitif (attention, langage). Soutient-il les interactions du bébé autiste ? Décroît-il au fil du temps du fait du dysfonctionnement interactif (manque d'intérêt pour autrui et défaut d'intersubjectivité)? Un algorithme détectant l'IDS a été créé et appliqué à une étude pilote avant d'étudier l'ensemble de nos films. Les premiers résultats, à confirmer, suggèrent que l'IDS soutient efficacement l'interaction du bébé autiste, mais l'efficacité de l'IDS maternel (et non paternel) pourrait chuter au fil du temps. En conclusion, nous avons apporté des bases à l'étude dynamique des interactions des bébés autistes avec leurs parents, en vue d'approcher les processus menant au tableau final.

L’étude du sujet et du lien social tels que Lacan les a conceptualisés semble d’emblée problématique lorsqu’il s’agit de les soumettre à l’épreuve de l’histoire. Cette problématique relance le débat de la difficile articulation de la structure et de l’histoire. Il apparaît important de réinvestir ce questionnement parce qu’il semble au fondement d’une controverse plus contemporaine émanant de l’étude des rapports qu’entretient le sujet avec le social et ses mutations. En explorant les déplacements se réalisant dans la structure du sujet, nous exploiterons l’histoire, en tant qu’étude du changement, afin d’entrevoir la manière dont elle se réalise au sein du sujet et du lien social. Nous tenterons d’éclairer comment le sujet est réactif à l’événement que nous différencions du fait social et dégagerons une temporalité permettant d’unir l’ordre synchronique et l’ordre diachronique s’incarnant simultanément dans la structure du sujet et du lien social. / The study of the subject and of the social link as conceptualized by Lacan seems problematic as soon as these are exposed to the test of history. This problematic revives the debate about the difficulty of articulating structure and history. It seems important to re-examine this question because it appears to underlie a more contemporary controversy which comes from the study of the relationships the subject maintains with its social context and its variants. By exploring the changes occurring in the subject’s structure, we will use history as a means to study this change. We will try to identify the way it happens both within the subject and within the social link. We will attempt to elucidate how the subject is responsive to the event, which we will distinguish from the social context. We will afterwards identify a temporality enabling us to bring together the synchronic and the diachronic orders at work simultaneously in both the structure of the subject and of the social link.

Motivée par Mervyn ALLEYNE (1980) qui met en évidence certaines spécificités des langues afro-américaines à bases lexicales différentes (verbes sériels, clivage du prédicat, TMA…), cette étude contrastive adopte une perspective synchronique d’un point de vue fonctionnel et structural afin d’établir les caractéristiques communes et les traits distinctifs des langues créoles de la Jamaïque (JC) et de la Martinique (CM) au-delà de leurs bases lexicales anglaise (CBLA) et française (CBLF). Les spécificités dégagées en JC & CM ne fonctionnent ni en anglais, ni en français, mais dans des créoles de part et d’autre de l’Atlantique quelle que soit leur base lexicale (CBLE, CBLP, CBLH). Elles se trouvent également dans certaines langues africaines du substrat. Selon la méthode comparative élaborée par OBENGA (1993) pour définir une famille de langues, la comparaison aborde les domaines phonétique, phonologique, syllabique, morphologique, syntaxique et sémantique afin d’évaluer des similitudes structurelles en JC & CM. Cette étude permet de conclure qu’il s’agit d’une nouvelle famille de langues pour lesquelles les langues européennes s’avèrent déterminantes au niveau lexical, les langues africaines étant essentielles au niveau des structures phonologique, prosodique, syllabique, sémantique et morphosyntaxique. / This contrastive approach was impulsed by Mervyn ALLEYNE (1980) who pointed out, « Some Similarities of Afro-American » regardless of lexifier, like serial verbs, topicalization, TMA verbal system…In a synchronic perspective, the purpose of this research is to estabish structural and functional similarities between Jamaican Creole (JC) based on English lexicon (CBEL) and Martinican Creole (CM) based on French lexicon (CBFL) in order to identify distinctive features of Creole Languages.After a survey of the linguistic fields according to the method to determine a family of languages of Theophile OBENGA (1993), it becomes obvious that these specific structures are more than similar in these two Afro-American languages.Opposed to flexional languages like English and French, widely spread in West African languages, these characteristics are functioning in Creole Languages on both sides of the Atlantic Ocean, and can be considered as distinctive features. In this new family of languages, European languages are decisive at a lexical level, while African languages are essential for phonemic, prosodic, syllabic, semantic and morphosyntactic structures.

L'intégration de composants dans un système peut s'avérer difficile lorsque ces composants ont été conçus selon différents paradigmes ou s'ils se basent sur différents cadres de temps devant être synchronisés. Cette synchronisation peut être dirigée par les évènements (un évènement est provoqué par un autre), ou dirigée par le temps (un évènement se produit parce qu'il en est l'heure). En considérant que chaque composant admet son propre cadre de temps et qu'ils peuvent ne pas être reliés, il est possible qu'une unique ligne de temps globale n'existe pas.Nous nous intéressons à la spécification de schémas de synchronisation pour de tels systèmes polychrones et polytemporisés. Notre étude nous a mené à la conception de modèles sémantiques pour un langage temporisé à évènements discrets, appelé TESL et développé par Boulanger et al. Ce langage a été utilisé pour coordonner la simulation de modèles composites et pour tester l'intégration de systèmes.Dans cette thèse, nous présentons une sémantique dénotationnelle fournissant une compréhension précise et logiquement cohérente du langage. Puis nous proposons une sémantique opérationnelle afin de dériver des traces d'exé-cutions satisfaisant une spécification TESL. Celui-ci a été utilisé pour les problématiques de test des systèmes, à travers l'implantation d'un solveur nommé Heron. Pour résoudre la question de cohérence et de correction de ces règles sémantiques, nous avons également développé une sémantique intermédiaire coinductive reliant les deux sémantiques dénotationnelles et opérationnelles. Nous établissons des propriétés sur la relation entre les deux sémantiques: correction, complétude, progrès ainsi que terminaison locale. Enfin, notre formalisation ainsi que les preuves associées ont été entièrement mécanisées dans l'assistant de preuve Isabelle/HOL. / Integrating components into systems turns out to be difficult when these components were designed according to different paradigms or when they rely on different time frames which must be synchronized. This synchronization may be event-driven (an event occurs because another event occurs) or time-driven (an event occurs because it is time for it to occur). Considering that each component admits its own time frame, and that they may not be related, a unique global time line may not exist.We are interested in specifying synchronization patterns for such polychronous and polytimed systems. Our study had led us to design semantic models for a timed discrete-event language, called the TESL language developed by Boulanger et al. This language has been used for coordinating the simulation of composite models and testing system integration.In this thesis, we present a denotational semantics providing an accurate and logic-consistent understanding of the language. Then we propose an operational semantics to derive satisfying runs from TESL specifications. It has been used for testing purposes, through the implementation of a solver, named Heron. To tackle the issue of the consistency and correctness of these semantic rules, we developed a co-inductive intermediate semantics that relates both the denotational and the operational semantics. Then we establish properties over the relation of our semantic models: soundness, completeness and progress, as well as local termination. Finally, our formalization and these proofs have been fully mechanized in the Isabelle/HOL proof assistant.

Au vu des changements globaux actuels engendrés en grande partie par l'être humain, il devient nécessaire de comprendre les moteurs de la stabilité des communautés d'êtres vivants. La synchronie des séries temporelles d'abondances fait partie des mécanismes les plus importants. Cette thèse propose trois angles différents permettant de répondre à différentes questions en lien avec la synchronie interspécifique ou spatiale. Les travaux présentés trouvent des applications en dehors du cadre écologique. Un premier chapitre est consacré à l'estimation du rang effectif de matrices à valeurs dans ℝ ou ℂ. Nous apportons ainsi des outils permettant de mesurer le taux de synchronisation d'une matrice d'observations. Dans le deuxième chapitre, nous nous basons sur les travaux existants sur le problème de détection de ruptures sur les chaînes afin de proposer plusieurs algorithmes permettant d'adapter ce problème au cas des arbres. Les méthodes présentées peuvent être utilisées sur la plupart des données nécessitant d'être représentées sous la forme d'un arbre. Afin d'étudier les liens entre la synchronie interspécifique et les tendances à long termes ou les traits d'espèces de papillons, nous proposons dans le dernier chapitre d'adapter des méthodes de clustering et d'apprentissage supervisé comme les Random Forest ou les Réseaux de Neurones artificiels à des données écologiques. / In the view of actual global changes widely caused by human activities, it becomes urgent to understand the drivers of communities' stability. Synchrony between time series of abundances is one of the most important mechanisms. This thesis offers three different angles in order to answer different questions linked to interspecific and spatial synchrony. The works presented find applications beyond the ecological frame. A first chapter is dedicated to the estimation of effective rank of matrices in ℝ or ℂ. We offer tools allowing to measure the synchronisation rate of observations matrices. In the second chapter, we base on the existing work on change-points detection problem on chains in order to offer algorithms which detects change-points on trees. The methods can be used with most data that have to be represented as a tree. In order to study the link between interspecific synchrony and long term tendencies or traits of butterflies species, we offer in the last chapter adaptation of clustering and supervised machine learning methods, such as Random Forest or Artificial Neural Networks to ecological data.

Cette thèse porte sur la modélisation, la réduction et la commande des grands systèmes électriques.En terme de modélisation et de réduction, l’objectif principal est de développer une méthode de réduction des modèles dynamiques des systèmes électriques. Cette réduction a pour objet de répondre à une situation particulière dans laquelle toutes les données du système à réduire ne sont pas connues.En terme de commande, l’objectif est la conception de commandes robustes coordonnées pour répondre aux nouvelles contraintes des grands systèmes électriques. Ces approches doivent respecter trois niveaux de coordination et deux nouvelles contraintes. Les trois niveaux de coordination concernent la prise en compte simultanée des oscillations électromécaniques interzones et locaux, la coordination de la synthèse de régulateurs pour plusieurs alternateurs, et la coordination du réglage des paramètres (gains et constantes de temps) des régulateurs de tension (les boucles stabilisatrices PSS) avec le réglage des paramètres des régulateurs de turbine des alternateurs. Les contraintes sont liées à la stabilité et la robustesse des régulateurs proposés. / This thesis concerns modeling, reduction, and control of large-scale interconnected power systems. In modeling and reduction term, the main objective is to develop a new method to construct low-order model or dynamic equivalent of a large-scale power system. This method must be used to reduce a power system models even when information of the whole power system is not completely available. In control term, the objective is the synthesis of coordinated and robust controller for large scale power systems. These new approaches have to respect three coordinated levels and two new constraints. The Three coordinated levels concern: simultaneous damping of the electromechanical inter-area and local modes, coordinated synthesis of several alternator regulators and coordinated tuning of parameters of Standard Power Stabilizer (PSS) and speed regulators. The constraints are related to the stability and the robustness of the proposed regulators.

Cette thèse porte sur la modélisation, la réduction et la commande des grands systèmes électriques.En terme de modélisation et de réduction, l'objectif principal est de développer une méthode de réduction des modèles dynamiques des systèmes électriques. Cette réduction a pour objet de répondre à une situation particulière dans laquelle toutes les données du système à réduire ne sont pas connues.En terme de commande, l'objectif est la conception de commandes robustes coordonnées pour répondre aux nouvelles contraintes des grands systèmes électriques. Ces approches doivent respecter trois niveaux de coordination et deux nouvelles contraintes. Les trois niveaux de coordination concernent la prise en compte simultanée des oscillations électromécaniques interzones et locaux, la coordination de la synthèse de régulateurs pour plusieurs alternateurs, et la coordination du réglage des paramètres (gains et constantes de temps) des régulateurs de tension (les boucles stabilisatrices PSS) avec le réglage des paramètres des régulateurs de turbine des alternateurs. Les contraintes sont liées à la stabilité et la robustesse des régulateurs proposés.