Ce travail présente une modélisation originale de la notion de test de programmes, à partir de la logique égalitaire du premier ordre. Plusieurs applications concernant notamment les types abstraits algébriques et la validation automatique de spécifications sont proposées.<br /><br />À partir d'une étude intuitive de la notion de test, nous dégageons la notion de processus de test, fondée sur le principe du couplage.<br /><br />Nous définissions la notion de jeu de tests sur un contexte de test. Ses propriétés mathématiques sont étudiées: fiabilité, validité, absence de biais, acceptabilité. Plusieurs ordres partiels sont définis: finesses absolue et asymptotique. Les équivalences déduites donnent lieu à des théorèmes importants.<br /><br />Une méthode de pratique de test est construite à partir de cette théorie et appliquée à un programme de tri. Cette méthode est particulièrement adaptée à la validation d'un axiome d'un type abstrait algébrique sur une algèbre. Un exemple est présenté, et l'implantation d'un outil expérimental utilisant cette méthode, réalisé à titre expérimental, est décrite.<br /><br />De nombreuses annexes sont jointes: un résumé des travaux antérieurs sur le problème, une bibliographie sur la validation des programmes par test, une introduction à la logique du premier ordre et un listage partiel de l'implantation réalisée.

L'étude s'attache à éclairer l'histoire d'une pratique de lutte traditionnelle en Bretagne, le gouren, en questionnant son ancrage dans la culture bretonne. A partir de questions en apparence simples : qu'est-ce que le gouren ? Comment une pratique traditionnelle survit-elle au temps qui passe ? Quelles significations revêtent ses éventuelles mutations ? Nous montrons de quelle manière l'histoire de la lutte bretonne doit être abordée au travers d'une double approche anthropo-historique. Il s'agit d'une part de mettre à jour le passé d'une pratique, les étapes et les transformations qui ont jalonné et façonné sa trajectoire, défini les rôles des acteurs, la sociologie des pratiquants et des institutions au coeur de l'espace breton durant la période contemporaine (XIXe-XXIe siècles) ; alors même que la nation et la société françaises privilégient des modèles concurrents de cultures corporelles. Il s'agit conjointement de s'attacher à l'étude des positions, discours, revendications des acteurs qui font de la lutte bretonne le lieu d'un investissement identitaire marqué et l'espace de reconstruction d'une mémoire sans cesse réactivée au nom de la bretonnité, de la tradition, d'un passé idéalisé, reconstruit et en partie réinventé (au sens que donnent Hobsbawm et Ranger, 1983). Finalement, le gouren, devenu sport traditionnel est bien le lieu où se joue, en grande partie à partir des années trente, une complexe alchimie entre le désir de pérenniser une tradition de lutte, issue de pratiques communautaires, en reconfigurant sportivement ses usages et, d'autre part, la volonté d'en appeler à la pureté des luttes d'antan qui ont fait et font l'originalité d'une région, quitte à en ré-inventer les usages et les traditions. Une relation ambiguë entre tradition et modernité, entre passé et présent, qui, encore aujourd'hui marque de manière polémique la définition culturelle et/ou institutionnelle légitime de la lutte bretonne

Cette recherche s'inscrit dans le cadre de la prévision des instabilités de flottement qui joue un rôle majeur dans la conception et la certification des avions civils. Les instabilités sont liées au couplage aéroélastique qui est dû aux efforts induits générés par les mouvements de la structure au sein de l'écoulement. On considère dans ce travail plus particulièrement l'influence de la turbulence atmosphérique qui apporte, elle aussi, une contribution aux forces aérodynamiques. Dans ce but, la turbulence est modélisée par un processus stochastique introduisant une excitation multiplicative dans le système aéroélastique. Il est alors nécessaire de développer des méthodologies permettant l'étude de la stabilité des aéronefs en présence d'un bruit aléatoire multiplicatif. On propose d'étudier la stabilité dans le cadre général des systèmes dynamiques aléatoires et plus précisément à l'aide des exposants de Lyapunov qui donnent les taux de (dé-)croissance des trajectoires. Ces derniers généralisent ainsi la notion de partie réelle des valeurs propres. Malgré le développement de modèles réduits, les systèmes couplés aéroélastïques restent relativement complexes et de dimension élevée. On opte alors pour un calcul du plus grand exposant de Lyapunov par des méthodes numériques. Néanmoins, la stabilité des systèmes aéroélastiques est également très sensible à la présence de non-linéarités structurales concentrées, comme un jeu dans la liaison aile-gouverne. On pro pose alors une méthode qui a recours d'une part à la formulation du problème par inclusions différentielles et d'autre part à une technique de sous-structuration permettant d'isoler les parties non régulières introduites par le jeu.

La thèse porte sur des dispositifs de gestion locale et participative de l'eau. Ces dispositifs incluent un ensemble d'éléments, parmi lesquels des outils institutionnels (Contrats de rivière, SAGE etc.), des personnes, tels les animateurs de bassin versants et des artefacts. Des enquêtes ont été conduites sur trois bassins : les Gardons, la Lentilla et l'Orb, en utilisant de façon complémentaire plusieurs méthodes, dont une expérimentation sous forme de jeu, Concert'eau. Ce travail montre la manière dont les dispositifs prennent part à la satisfaction d'exigences politiques, en étant transformés. Ce résultat correspond au souci qu'ont les acteurs d'une " appropriation " des outils. Le cadre théorique des régimes d'engagement a permis de problématiser cette appropriation et d'identifier des transformations nécessaires pour qu'un dispositif contribue à une gestion locale et participative effective. L'appropriation est une dynamique de déformation mutuelle et d'ajustement des choses et des personnes, selon différents niveaux de biens. Elle comprend des appropriations stratégiques, mais aussi des familiarisations et le développement d'un équipement qui supporte des jugements de bien commun. Cette thèse contribue à l'ingénierie des équipements politiques et sociaux dans le domaine de l'eau. En distinguant différents formats de participation, elle permet un retour critique sur les outils de démocratie participative. Elle propose, en outre, une réflexion sur les conditions d'un engagement exploratoire dans les dispositifs de jeu, sur l'articulation de la justification avec les autres régimes d'engagement et sur le traitement d'attachements à l'environnement selon différents modèles politiques.

Cette thèse étudie différents aspects asymptotiques du modèle de jeux répétés à information incomplète d'un côté à travers une approche temps discret/temps continu. On relie les fonctions valeurs et les stratégies optimales du joueur informé à des problèmes de contrôle stochastique. On étudie la représentation duale de ces problèmes en termes de solution de viscosité d'EDP non-linéaires du premier et du second ordre. Ces résultats sont appliqués dans des modèles de jeux d'échanges financiers servant à identifier des dynamiques de prix d'équilibre en temps continu. Le dernier chapitre étudie un modèle de jeu à somme non-nulle dans lequel des techniques propres aux jeux à somme nulle sont adaptées pour obtenir des résultats asymptotiques.

L’intérêt des chercheurs pour les relations entre la Chine et les États africains s’est fortement développé ces dernières années. De nombreuses études ont analysé les grands changements macroéconomiques entre la Chine et l’Afrique, en mettant l’accent par exemple sur le volume des échanges, le rôle des ressources naturelles, la géostratégie, etc. Toutefois, les chercheurs ont négligé deux aspects déterminants, que cette thèse met au centre de son analyse : 1) la dimension politique des relations entre la Chine et l’Afrique, plus précisément l’examen des mécanismes d’extraversion des régimes africains visant à instrumentaliser les opportunités économiques de cette coopération afin de pérenniser leur pouvoir. Aspect qui démontre l’impact des relations croissantes avec la Chine sur la destinée des régimes politiques autoritaires et des régimes en voie de démocratisation en Afrique. 2) la dimension nationale, voire subnationale des relations entre la Chine et les États africains. Au lieu de prendre l’État comme objet d’analyse, ce qui empêche d’avoir une compréhension étendue de ces relations, cette thèse analyse en profondeur des rapports entre, d’une part, le gouvernement et les entreprises chinois, et d’autre part, la société civile et le milieu des affaires avec le gouvernement chinois dans deux pays : le Sénégal et le Gabon. Conséquemment, plutôt que de se limiter à la collecte de données `macro’, cette recherche a procédé à étude de terrain approfondie afin d’établir un rapport entre la présence chinoise (fait structurant) et la réorganisation rapports au sein des régimes politiques étudiés (variable dépendante). Cette thèse procède à une décomposition à la fois des transformations politiques provoquées par les activités économiques chinoises dans ces deux pays d’Afrique, et de l’utilisation politique que les acteurs institutionnels des régimes du Gabon et du Sénégal font de ces apports extérieurs. Notre thèse démontre que la réappropriation de la coopération chinoise par les élites politiques gabonaises et sénégalaises vise le même objectif, qui est la pérennisation du pouvoir. Toutefois, les stratégies des acteurs politiques en vue d’accroître leur pouvoir divergent d’un régime à l’autre. La configuration institutionnelle de chaque pays impose aux acteurs des opportunités et des contraintes différentes selon la nature du régime politique.

Les jeux vidéos, les comics américains, les séminaires ludiques de créativité, leszombie walks, ou encore les phénomènes d'effervescences prennent de plus en plus deplace dans les sociétés contemporaines. Ce travail de recherche s'interroge sur cettedimension ludique de l'existence qui façonne de nouvelles manières d'être-ensemble.Si ce travail s'apparente à la sociologie du jeu, il n'envisage pas le jeu comme undomaine spécifique, comme une sphère particulière de la vie sociale. Notre réflexions'attache à replacer le jeu comme forme de socialisation. Un peu à la manière deHuizinga qui voyait le jeu comme ce qui fait culture, nous envisageons ici le ludiquecomme ce qui fait société.Trois expressions de cette forme ludique de socialisation sont abordées dans cetravail de recherche : 1. Le bovarysme, tout d'abord, qui interpelle les modalités deconstruction de l'identité, ainsi que les rapports entre réalité et irréalité. Le bovarysme,expression contemporaine de l'enromancement médiéval, suggère que l'être-ensemblerepose sur un certain type de fiction. 2. Les itinéraires mnémoniques, ensuite, quidécoulent des fictions bovaryques et qui manifestent la mutation de notre rapport àl'espace et au territoire communautaire. Les lieux communs, territoires de la mémoirecollective, ne s'expriment plus simplement dans un rapport au souvenir, mais aussi dansun cheminement, un voyage, des itinéraires. L'être-ensemble se territorialise dansl'usage de la métaphore que se proposent de faire les sociétés contemporaines. 3.L'esprit d'aventure, enfin, expression de l'amour du risque qui lutte contre l'ennui. Si lafiction identitaire et les itinéraires mnémoniques nous proposent de nouveaux voyagescommunautaires, l'esprit d'aventure et d'exploration se trouve certainement à leurorigine. L'ennui provoqué par un certain désenchantement du monde trouve icil'expression de sa vivante part maudite.Au travers de l'étude de ces trois dimensions des comportements ludiquescontemporains, le jeu apparaît comme expression ambivalente des anomiescontemporaines. Anomie destructrice de la société moderne, d'un côté, anomie créatricedes sociétés en gestation, de l'autre.

Une voie permettant l'accélération l'apprentissage par renforcement est l'exploration à l'aide des connaissances du domaine. La plus part des algorithmes existants, intitulées transfert de connaissance, sont basés sur une hypothèse implicite : la bonne qualité de la connaissance disponible sur la tache courante. Lorsque cette hypothèse n'est pas respectée, les performances se dégradent bien en dessous des celles des méthodes standards. Ce travail de thèse propose des algorithmes de transfert capables de s'adapter à la qualité de la connaissance disponible. Pour le faire, nous introduisons un paramètre nommé le taux de transfert, qui contrôle à quel point l'algorithme se fiera à la connaissance disponible. De plus, nous optimisons ce taux afin de faire meilleur usage de cette politique, en ajoutant de la robustesse à nos algorithmes. Ces algorithmes sont évalués sur un problème jouet (le gridworld), et sur une application d'aide à l'entraineur qui simule une situation de jeu donnée.

Notre recherche s'intéresse à l'enseignement de la géométrie et de l'espace pour des élèves ayant des incapacités intellectuelles légères. De façon précise, nous proposons de faire évoluer leurs connaissances à propos de la représentation graphique du cube, et certaines de ses propriétés, par le biais d'un jeu de tâches didactiques. L'évolution est montrée par une analyse de protocoles qui tente de cerner de quelle façon s'enchaînent les différentes productions et interactions survenues entre les acteurs des séances d'expérimentation. De plus, l'analyse des tâches expérimentées montre leur potentiel au regard de l'engagement des élèves, tout en précisant certaines de leurs limites relatives à la nature de la tâche (contenu, pertinence, consignes données), au matériel didactique employé et à la chronologie des tâches au sein des séances. Nos résultats montrent que les élèves ayant des incapacités intellectuelles légères peuvent bénéficier de tâches variées et dynamiques pour accéder aux connaissances spatiales et géométriques dans la mesure où le jeu de tâches expérimenté favorise l'investissement mathématique des élèves. Le jeu de tâches se distingue nettement des méthodes typiques d'enseignement direct et répétitif dans les classes d'élèves ayant des incapacités intellectuelles. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Cube, Représentation graphique, Jeu de tâches, Incapacités intellectuelles, Enseignement, Géométrie.

Ce mémoire porte sur le renouvellement de la notion de métaphore comme modalité d'indécidabilité. Partant de la définition qu'en donne Paul Ricoeur comme « synthèse de l'hétérogène » et Jacques Rancière comme « composition de l'hétérogène », nous montrerons qu'un déplacement de la métaphore vers sa fonction poético-philosophique et non plus rhétorique, telle qu'elle apparaît depuis Aristote, est essentiel pour comprendre comment il est possible aujourd'hui de la considérer comme façon d'appréhender le monde. Trois hypothèses sont à l'origine de cette étude. La première tient à la différence que pose Ricoeur entre le muthos du récit et celui de la métaphore qui nous a permis d'articuler l'importance de remplacer le modèle rhétorique aristotélicien. La deuxième, reprise du symptôme et de l'image dialectique chez Georges Didi-Huberman, concerne le déplacement de concepts vers d'autres disciplines. Non seulement l'écriture de plusieurs philosophes et historiens de l'art témoigne du jeu de la métaphore, mais les notions auxquelles ils ont recours se voient elles-mêmes déplacées, transférées, métamorphosées, les rendant aussitôt métaphoriques. Cette hypothèse, nous a permis de constater que la reconceptualisation de la métaphore touche aussi bien à l'art actuel qu'aux discours contemporains sur l'art. Enfin, la troisième hypothèse a pour point de départ un basculement entre réalité et fiction que nous observons chez plusieurs artistes actuels. Pour expliciter ce basculement, nous sommes retournés aux fondements de la mimésis (Aristote, Ricoeur, Schaeffer) pour tenter de revoir la structure de ce procédé non pas en fonction du concept de représentation, mais du concept de métaphore. C'est ce qui nous a amené à considérer la métaphore comme modalité d'indécidabilité. Le mémoire comporte trois chapitres. Le premier revient aux fondements de la définition aristotélicienne de la métaphore d'après la lecture de Paul Ricoeur afin de reconsidérer la notion d'après sa conception herméneutique. Après avoir montré l'importance théorique du tournant herméneutique de la métaphore, nous exposons, dans un deuxième chapitre, sa prégnance dans les écrits de philosophes et d'historiens de l'art contemporains, où elle est utilisée en son sens poético-philosophique pour décrire des concepts autrement insaisissables: le jeu (Hans-Georg Gadamer), la mimésis (Jean-Marie Schaeffer), le mythe (Ricoeur), le double et l'empreinte (Didi-Huberman), la fête et le jouet (Giorgio Agamben), le pli et le mystère (Jacques Rancière). Enfin, les cas de figures analysées au chapitre trois mettent en lumière la modalité d'indécidabilité de la métaphore qui, comme image même de la dialectique, produit des glissements entre réalité et fiction: par la métamorphose chez David Altmejd, la répétition chez Claudie Gagnon et l'incarnation chez Carsten Höller. C'est donc à partir de l'art actuel et des discours contemporains sur l'art que nous proposons une définition renouvelée de la métaphore comme dispositif de passage entre la réalité et la fiction et comme modalité d'indécidabilité produisant du mystère. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Art actuel, Métaphore, Narrativité, Récit, Mimésis, Jeu, David Altmejd, Claudie Gagnon, Carsten Höller.