L'objet de l'étude est double. Dans un premier temps, on s'intéresse<br />à la classification des symétries du phénomène de couplage piézoélectrique<br />linéaire; on se focalise ensuite sur la dérivation de modèles de plaques,<br />toujours dans le cadre de la piézoélectricité linéarisée. On obtient ainsi<br />des résultats qui permettent de présenter des propriétés de solides<br />piézoélectriques relatives au matériau, à la structure ainsi qu'à leurs<br />interactions.<br /><br />Les trois premiers Chapitres concernent les symétries. On rappelle d'abord<br />que ces dernières peuvent être de différentes natures. Ensuite, les outils<br />qui permettent de les appréhender et de les lier entre elles sont présentées.<br />Les divers outils utilisés conduisent alors au principal résultat de la<br />première partie : la classification des symétries du phénomène de couplage<br />piézoélectrique linéaire en quinze familles distinctes.<br /><br />Dans les deux derniers Chapitres, on obtient des modèles de plaques<br />linéairement piézoélectriques à l'aide d'une méthode mathématique rigoureuse<br />consistant à étudier le comportement d'un solide tridimensionnel lorsque son<br />épaisseur, vue comme un paramètre, tend vers zéro. Dans le cas statique, il<br />apparaît deux modèles différents. Ils dépendent en fait du type de chargement<br />électrique et sont reliés aux cas pour lesquels les plaques piézoélectriques<br />sont utilisés comme capteurs ou comme actionneurs. Les cinématiques limites<br />sont précisées et les deux lois de comportement sont explicitement fournies<br />pour tous les types de matériau constitutif. Dans le cas dynamique, on montre<br />que c'est l'ordre de grandeur du rapport entre l'épaisseur et la densité de<br />la plaque qui joue un rôle déterminant.

Map Theory est une extension équationnelle du lambda-calcul non-typé conçue par Klaus Grue pour être une fondation commune de l'informatique et des mathématiques. Elle permet en particulier une interprétation complète du calcul des prédicats et de ZFC+FA, où ZFC est la théorie de Zermelo-Fraenkel, et FA est l'axiome de bonne fondation usuel. Toutes les notions primitives de la logique du premier ordre et de la théorie des ensembles, valeurs de vérité, connecteurs, quantificateurs, appartenance et égalité, y sont traduites par des termes du lambda-calcul enrichi de quelques constantes. De plus, Map Theory permet de représenter les types de données inductifs et de donner un sens calculatoire immédiat à tous les constructeurs ensemblistes usuels. La version initiale de Map Theory par K. Grue ne considère cependant que les ensembles (ou classes) bien-fondée relativement à la relation d'appartenance. Dans le cadre du renouveau d'intérêt pour l'antifondation induit par les developpements récents de l'informatique théorique, nous montrons dans notre thèse qu'il est possible d'élaborer une version antifondée de Map Theory qui prenne en compte l'existence des objets non-bien-fondés, et qui permette de raisonner sur ces objets par co-induction. Ce nouveau système ouvre la possibilité d'une représentation directe des types de données co-inductifs, et de la modèlisation des phènoménes et processus circulaires. Dans une première partie, nous présenterons l'axiomatisation MTA de ce nouveau système, et nous montrerons que ZFC+AFA, où AFA est l'axiome d'Antifondation de Aczel-Forti-Honsell, y est interprétable syntaxiquement. Dans la deuxième partie, nous montrerons la consistance de MTA relativement à ZFC+SI, où SI est l'axiome exprimant l'existence d'un cardinal fortement inaccessible.

Depuis une quarantaine d'années la place des animaux est devenue problématique et a été re-problématisée dans les sociétés occidentales contemporaines. La montée de la prise en compte sociale des intérêts des animaux, de la bienveillance à leur égard, recompose les représentations << traditionnelles " et " modernes " du monde animal. A travers l'exemple du développement des pratiques de soin par le contact animalier (Zoothérapie, Thérapie Assistée par l'Animal, Médiation Animale ... ), j'analyse les mécanismes de revalorisation de la présence animale auprès des humains. Ces pratiques contribuent à l'avènement d'un nouveau régime de compagnonnage anthropozoologique, dans lequel la bienveillance vis,à-vis de l'animal occupe une grande place. L'hypothèse de ce travail est que la reconnaissance d'une valeur thérapeutique au contact avec l'animal permet de rendre cette bienveillance légitime et d'enrôler tout un réseau d'acteurs autorisant le développement à grande échelle de ce nouveau régime relationnel. Ainsi, j'ai suivi comment la conviction selon laquelle l'interaction avec l'animal améliore une relation de soin "classique", a pu naître, être diffusée, mise à l'épreuve du travail scientifique, et s'actualiser dans des pratiques concrètes. La première partie aborde la constitution d'un champ de savoir autonome autour des questions de l'interaction avec l'animal à but thérapeutique, à travers une analyse bibliographique. La deuxième partie traite des réseaux d'acteurs qui ont promu le soin par le contact animalier,son développement, sa professionnalisation et sa standardisation. Enfin, une troisième partie décrit plus particulièrement les pratiques, en situation, à travers l'analyse d'observations ethnographiques et d'entretiens.

Une nouvelle approche non-perturbative à la Onsager en systèmes intégrables quantiques est développée, dont les idées maîtresses prennent leurs racines dans l'article de L. Onsager (1944) portant sur la solution exacte du modèle d'Ising en deux dimensions. L'intérêt de cette approche repose sur le fait qu'elle est applicable de façon systématique dans le cas oú d'autres méthodes usuelles échouent. Celle-ci repose sur l'étude de quatres éléments capitaux: (i) L'identification de l'algèbre non-Abélienne de dimension infinie généralisant l'algèbre de Onsager et représentant la condition d'intégrabilité du modèle; (ii) La construction d'une hiérarchie de quantités en involution formant une sous-algèbre Abélienne; (iii) L'étude des réalisations et représentations de dimension finie et infinie de cette algèbre; (iv) La résolution du modèle à l'aide de ces données. Pour un modèle de référence - la chaîne de spin XXZ de taille finie avec conditions aux bords intégrables - la nouvelle approche basée sur l'algèbre q-Onsager introduite par P. Terwilliger est utilisée pour résoudre le problème spectral (spectre en énergie et états propres) dans le régime de paramètres génériques où l'ansatz de Bethe est inapplicable. Certaines étapes essentielles à l'obtention des fonctions de corrélations dans la limite thermodynamique du modèle sont aussi franchies, s'inspirant de la méthode de M. Jimbo et al.. La généralisation associée à toute algèbre de Lie affine de l'algèbre q-Onsager est proposée, et permet de classifier toutes les conditions d'intégrabilité dans les théories de Toda affines avec bord. Diverses perspectives sont enfin présentées.

Les résultats présentés dans cette habilitation concernent les réseaux dans les représentations semi-stables, ainsi que les quotients de ceux-ci. Plus précisément, les plus manquants d'entre eux sont 1) une étude de certaines catégories de Breuil en torsion 2) une étude des variétés de Kisin, et plus exactement une estimation de la dimension de certaines d'entre elles 3) l'obtention de bornes (dépendant des " poids de Hodge-Tate ") sur l'action de l'inertie modérée et de l'inertie sauvage sur les représentations semi-stables de torsion 4) le développement de la théorie des (phi,tau)-modules, avec pour application une caractérisation et une classification des réseaux dans les représentations semi-stables

Depuis les années 80, les psychologues du développement ont montré l'importance de la compréhension des états mentaux, identifiée sous l'étiquette « théories de l'esprit », dans le développement cognitif et social de l'enfant. Ils rejoignent les préoccupations de travaux en sociologie et en sciences de l'éducation qui mettent l'accent sur la façon dont l'école sollicite la représentation des tâches scolaires comme des activités mentales. Dans ce contexte, la question qui se pose est de savoir si les théories de l'esprit constituent des variables psychologiques individuelles susceptibles de soutenir l'adaptation et la réussite à l'école. Pour y répondre deux études testent, de manière directe, le lien développemental, encore peu exploré, entre théories de l'esprit, adaptation sociale et réussite à l'école. L'étude transversale, qui porte sur 3 groupes d'enfants (N=121) ayant 4, 5 et 6 ans, montre que l'attribution implicite des états mentaux est davantage liée aux mesures de l'adaptation sociale et à la réussite scolaire que ne l'est le niveau d'attribution explicite. L'étude longitudinale teste 40 enfants à 4, 5 et 6 ans. Les analyses de régression confirment que l'attribution implicite des états mentaux contribue de façon spécifique à la prédiction de l'adaptation sociale et de la réussite scolaire et révèlent que la configuration des indices de développement des théories de l'esprit favorables à l'adaptation sociale et à la réussite scolaire n'est pas la même entre 4 et 6 ans. Ces résultats soutiennent l'intérêt d'introduire les théories de l'esprit dans l'analyse des facteurs psychologiques pouvant contribuer à l'adaptation sociale et à la réussite scolaire

Les travaux effectués à ce jour, témoignent de toute la complexité de la dynamique sous-jacente à la création de slack budgétaire. Les résultats divergents, complémentaires et parfois même contradictoires des différentes recherches sur ses déterminants témoignent de l‟existence d‟un réseau d‟influences impliquant à la fois des facteurs personnels organisationnels et contextuels. Ce phénomène peut être considéré comme une forme de déviance. Ses conséquences sont ambivalentes, il est source de dysfonctionnement et le moteur de l‟innovation et du progrès constant. Selon cette perspective le rôle du contrôle est de le piloter. A partir d‟une observation participante au niveau du contrôle de gestion d‟une société de distribution, nous nous sommes interrogés sur les moyens de maîtrise du slack budgétaire. En prenant comme cadre d‟analyse les théories de la déviance et de la criminologie, nous étudions le phénomène de création de slack budgétaire selon quatre axes d‟analyse : la norme de slack, la transgression, la détection et la sanction. Cette thèse à pour objectif de comprendre de quelle manière le slack budgétaire est maîtrisé à travers l‟étude longitudinale d‟un cas. Elle développe une approche multidisciplinaire en utilisant les apports théoriques et méthodologiques des sciences humaines.

Cette étude entend questionner l’impensé de la lecture et de la textualité sous-jacent aux modèles traductologiques orientés vers le processus qui se sont imposés en didactique de la traduction au cours des quatre dernières décennies, tels que la théorie interprétative de l’École de Paris et la théorie fonctionnaliste du Skopos de l’École allemande, et qui sous-tendent actuellement la formation des traducteurs professionnels au Canada. On trouvera dans ces pages, après un survol de l’histoire de cette formation, une confrontation dialogique entre les fondements immanentistes des approches qui y sont dominantes et ceux de théories issues du champ littéraire ayant problématisé l’acte de lecture, ainsi que l’analyse de la traduction collective d’une œuvre de fiction (réalisée par une équipe de traducteurs diplômés du premier cycle) dont le but est d’étayer la critique métathéorique.

Cette étude entend questionner l’impensé de la lecture et de la textualité sous-jacent aux modèles traductologiques orientés vers le processus qui se sont imposés en didactique de la traduction au cours des quatre dernières décennies, tels que la théorie interprétative de l’École de Paris et la théorie fonctionnaliste du Skopos de l’École allemande, et qui sous-tendent actuellement la formation des traducteurs professionnels au Canada. On trouvera dans ces pages, après un survol de l’histoire de cette formation, une confrontation dialogique entre les fondements immanentistes des approches qui y sont dominantes et ceux de théories issues du champ littéraire ayant problématisé l’acte de lecture, ainsi que l’analyse de la traduction collective d’une œuvre de fiction (réalisée par une équipe de traducteurs diplômés du premier cycle) dont le but est d’étayer la critique métathéorique.

Cette thèse est consacrée au problème de la vérification automatique des protocoles cryptographiques d'un point de vue logique et calculatoire.<br />Dans une première partie, nous abordons la sécurité des protocoles dans le cadre logique (formel). Nous montrons comment spécifier différentes propriétés de sécurité des protocoles (secret, authentification, <br />résistance aux attaques par dictionnaire) au moyen d'un langage de processus et comment les analyser de manière automatique pour un nombre borné de sessions.<br />La seconde partie traite de la justification cryptographique des modèles logiques. Nous nous intéressons ici à la notion d'équivalence statique, appliquée en particulier au chiffrement et aux données vulnérables aux attaques par dictionnaire (par ex. des mots de passe). Dans ce cadre, nous montrons que sous certaines conditions simples, toute preuve logique d'équivalence statique implique d'indistinguibilité cryptographique des données modélisées.