Les services basés sur les technologies de l’information dans les secteurs publics et privés sont en pleine croissance. Par conséquent, la demande énergétique est de plus en plus importante pour alimenter les équipements informatiques au sein des établissements utilisateurs et dans les data-centres. A cette phase de consommation, facilement identifiable par les utilisateurs, s’ajoute la phase de production des équipements dont les conséquences sur l’environnement sont difficilement perceptibles par les utilisateurs. Ainsi, les impacts environnementaux des TIC paraissent principalement « délocalisés » et « invisibles » par rapport à l’utilisateur final.Progressivement, l’enjeu environnemental prend sa place dans la logique du secteur des technologies de l’information, aboutissant au concept de « Green IT ». Concepteurs et utilisateurs cherchent désormais à évaluer les impacts environnementaux des technologies de l’information. Dans un contexte d’évaluation environnementale pour l’aide à la décision, l’objectif de cette thèse est d’évaluer les impacts environnementaux des équipements informatiques d’une organisation. Pour cela, nous envisageons une démarche qui vise à enrichir l’approche produit de type ACV par l’ajout de données spécifiques à l’organisation étudiée.Les recherches bibliographiques ont permis de dégager les spécificités et les besoins méthodologiques en termes d’évaluation des impacts. Ainsi, une méthodologie permettant l’expression des impacts environnementaux locaux et planétaires liés à la fabrication et à l’utilisation des technologies de l’information au sein d’une organisation est proposée. Appliquée lors d’un partenariat avec une entreprise multinationale de la grande distribution et validée par son application dans un centre de recherche, cette méthodologie centralise à la fois des données génériques disponibles dans des bases de données et des données spécifiques recueillies auprès des utilisateurs de l’organisation étudiée. Cette étape de terrain, point central de la méthodologie, permet dans un premier temps d’obtenir l’inventaire des équipements présents et dans un second temps de connaître et de comprendre le comportement réel des utilisateurs via une enquête et des mesures de puissances et de consommations électriques des équipements représentatifs du panel inventorié (utilisation de boitiers d’acquisition de valeurs dits « économètre »).L’approche d’évaluation environnementale des systèmes informatiques développée au cours de ce travail a pour objectif de mettre en exergue les répercussions sur l’environnement que peuvent avoir les technologies de l’information au sein d’une organisation. Un des résultats principaux montre que la majorité des impacts environnementaux sont plus liés à la phase de production qu’à la phase d’utilisation. De plus, cette méthode aide à l’identification des pistes d’améliorations : choix et gestion des équipements, comportement individuel, charte d’utilisation, choix d’une politique éco-responsable… Ainsi, par un calcul d’éco-efficience mettant en jeu les gains environnementaux et économiques, les solutions répondant à la stratégie de développement de l’organisation étudiée peuvent être sélectionnées. / Services based on information technology in public and private sectors are growing. Therefore, the energy demand is more and more important to supply computer equipments within organizations and data-centers. So, environmental impacts of ICT are mostly “delocalised" and "invisible" from the end user.Gradually, the environmental issue takes place in the sector of information technology resulting in the new concept of the "Green IT". Nowadays, designers and users are seeking to assess the environmental impacts of information technology. In a context of environmental assessment for decision-making, the objective of this thesis is to assess the environmental impacts of devices of an organization. For this, we consider an approach to combine a product LCA approach with an inventory of data specific to a site.Literature searches have highlighted the specific and methodological needs in terms of impact assessment. Thus, a methodology for the expression of local and global environmental impacts associated with the production and use stages of information technology present within an organization is proposed. Applied in a partnership with a multinational society and validated by its application in a research laboratory, this methodology centralizes both generic data available in databases and specific data collected from users of the organization studied. This phase, key point of the methodology, provides firstly an inventory of present equipments and secondly the knowledge and comprehension of the actual behavior of users by the way of both a survey plus power and electric consumption measurements of representative equipments of the panel inventoried (use of acquisition boxes of values known as "energy meter").The environmental assessment approach developed in this work aims to highlight the environmental impact of the information technology’s equipments within an organization. One of the main results shows that the most environmental impacts are due to the production phase than the use phase. Moreover, the method helps to identify areas for improvement: selection and equipment management, individual behavior, usage policy, choice of an eco-friendly policy... So, by a calculation of eco-efficiency involving environmental and economic gains, solutions responding to the development strategy of the organization studied can be selected.

La présente thèse a pour objectif d’étudier la place du tableau de bord dans le pilotage de la performance des PME. Plus précisément, il s’agit de fournir un cadre explicatif aux pratiques de tableaux de bord des PME. La revue de littérature a permis d’une part de préciser et définir les principaux concepts et les principales notions utilisés dans le cadre de ce travail, et d’autre part de présenter et discuter un cadre théorique mixte sur lequel est basée l’élaboration de notre modèle de recherche. Suivant un raisonnement hypothético-déductif, un modèle explicatif des pratiques de tableaux de bord des PME est proposé. Ce modèle intègre une variable à expliquer « Pilotage de la performance », neuf variables explicatives de type organisationnel et comportemental, et une variable intermédiaire « Caractéristiques des TB ».Ce modèle est ensuite testé empiriquement. Les données collectées sont traitées en utilisant une analyse exploratoire et analyse confirmatoire par les méthodes des équations structurelles. Les résultats permettent de mettre en avant les facteurs déterminant les pratiques de tableaux de bord des PME. Ils permettent ainsi sur le plan théorique d’enrichir les travaux antérieurs portant sur le tableau de bord, et sur le plan pratique de fournir aux contrôleurs de gestion et aux dirigeants un cadre explicatif des pratiques de tableaux de bord des PME. / This thesis aims to study the role of balanced scorecard in managing the performance of SMEs. More specifically, it is to provide an explanatory framework to the practice of SMEs’ balanced scorecards. The literature review has allowed, on one hand, to clarify and define key concepts used in this work and, on the other hand, to present and discuss a mixed theoretical framework on which is based the development of our research model. Following a hypothetico-deductive reasoning, an explanatory model to the practice of SMEs’ balanced scorecards is proposed. This model incorporates one dependent variable "Performance management", nine explanatory variables (organizational and behavioral types), and one intermediate variable "Characteristics of balanced scorecards".This model is then tested empirically. The collected data are processed using an exploratory analysis and a confirmatory analysis by the methods of structural equations. The results help to highlight the determinants of the practice of SMEs’ balanced scorecards. Thus, theoretically, they enrich the previous work on the balanced scorecard and, practically, they provide to management controllers and managers an explanatory framework of the practice of SMEs’ balanced scorecards.

Nesta tese apresentamos o projeto e a implementação do KEMS, um provador de teoremas multi-estratégia baseado no método de tablôs KE. Um provador de teoremas multi-estratégia é um provador de teoremas onde podemos variar as estratégias utilizadas sem modificar o núcleo da implementação. Além de multi-estratégia, o KEMS é capaz de provar teoremas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi. Listamos abaixo algumas das contribuições deste trabalho: * um sistema KE para mbC que é analítico, correto e completo; * um sistema KE para mCi que é correto e completo; * um provador de teoremas multi-estratégia com as seguintes características: - aceita problemas em três sistemas lógicos: lógica clássica proposicional, mbC e mCi; - tem seis estratégias implementadas para lógica clássica proposicional, duas para mbC e duas para mCi; - tem treze ordenadores que são usados em conjunto com as estratégias; - implementa regras simplificadoras para lógica clássica proposicional; - possui uma interface gráfica que permite a visualização de provas; - é de código aberto e está disponível na Internet em http://kems.iv.fapesp.br; * benchmarks obtidos através da comparação das estratégias para lógica clássica proposicional resolvendo várias famílias de problemas; - sete famílias de problemas para avaliar provadores de teoremas paraconsistentes; * os primeiros benchmarks para as famílias de problemas para avaliar provadores de teoremas paraconsistentes. / In this thesis we present the design and implementation of KEMS, a multi-strategy theorem prover based on the KE tableau inference system. A multi-strategy theorem prover is a theorem prover where we can vary the strategy without modifying the core of the implementation. Besides being multi-strategy, KEMS is capable of proving theorems in three logical systems: classical propositional logic, mbC and mCi. We list below some of the contributions of this work: * an analytic, correct and complete KE system for mbC; * a correct and complete KE system for mCi; * a multi-strategy prover with the following characteristics: - accepts problems in three logical systems: classical propositional logic, mbC and mCi; - has 6 implemented strategies for classical propositional logic, 2 for mbC and 2 for mCi; - has 13 sorters to be used alongside with the strategies; - implements simplification rules of classical propositional logic; - provides a proof viewer with a graphical user interface; - it is open source and available on the internet at http://kems.iv.fapesp.br; * benchmark results obtained by KEMS comparing its classical propositional logic strategies with several problem families; * seven problem families designed to evaluate provers for logics of formal inconsistency; * the first benchmark results for the problem families designed to evaluate provers for logics of formal inconsistency.

Ce projet de recherche doctorale vise à explorer une intégration réfléchie des TICE, en particulier le tableau numérique interactif (TNI) et la tablette tactile, pour l’enseignement-apprentissage de l’anglais langue étrangère dans le paradigme de l’approche actionnelle, recommandée par le ministère de l’Éducation nationale. Notre étude prend appui sur une recherche compréhensive,instituée en tant que projet pilote, suivie d’une recherche-action collaborative. Dans le cadre de cette seconde recherche, quatre expérimentations ont été menées avec quatre professeurs exerçant dans des classes d’anglais : deux à l’école élémentaire (CE2 et CM1-CM2), une au collège (3ème) et une au lycée (Terminale). Cette étude cherche à comprendre comment certains outils interactifs peuvent apporter une plus-value en classe de langue aujourd’hui et s’ils sont compatibles avec une approche actionnelle de l’enseignement de l’anglais. Cette synergie entre approche et outils semble s’opérer et permettre de renforcer chez les apprenants l’engagement cognitif dans des tâches plus authentiques,la collaboration entre pairs, l’autonomie et la motivation. Les enseignants ainsi impliqués dans un processus de recherche-action collaborative s’initient à la recherche, conscientisent leurs compétences technopédagogiques et adoptent une posture réflexive sur leurs propres pratiques d’enseignement, dans un objectif de développement professionnel. / This doctoral research explores the integration of classroom technologies, particularly the interactivewhiteboard (IWB) and the tablet, in the English as a foreign language (EFL) classroom in task-basedteaching practice, in accordance with Ministry of Education guidelines. Following a pilot studytaking a global approach to classroom research, the main study examines empirical data collected inaction research projects involving four teachers in two primary school classes (8-9 year-olds and 9-11 year-olds) and two secondary classes (14-15 year-olds and 17-18 year-olds). The goal of the studyis to understand the pedagogical affordances of interactive tools for EFL teaching, to consider theircompatibility with task-based teaching and to determine what added value they may contribute tolanguage teaching and learning. Findings suggest a synergetic relationship between interactivetechnologies and task-based language teaching which improves learners’ cognitive engagement inactivities, fosters social and collaborative learning, and also promotes independent learning, taskauthenticity and L2 motivation. Benefits to the participating teachers include an introduction tocollaborative action research, the consolidation of their technopedagogical skills, and the adoption ofa reflective posture towards their own teaching practices, all of which hold promise for continuingprofessional development.

Le web sémantique est un nouveau paradigme web qui fournit un cadre commun pour des données devant être partagées et réutilisées à travers des applications, en franchissant les frontières entre les entreprises et les communautés. Le problème majeur que l'on rencontre à présent, est la manière de relier les informations provenant de différentes sources, celles-ci utilisant souvent une syntaxe et une sémantique différentes. Puisqu'aujourd'hui, la plupart des informations sont gardées dans des bases de données relationnelles, l'intégration de source de données relationnelle dans le web sémantique est donc très attendue.<br /> L'objectif de cette thèse est de fournir des méthodes et des techniques pour résoudre ce problème d'intégration des bases de données. Nous proposons une approche combinant des représentations de schémas à base d'ontologie et des logiques de descriptions. Les schémas de base de données sont conçus en utilisant la méthodologie ORM. La stabilité et la flexibilité de ORM facilite la maintenance et l'évolution des systèmes d'intégration. Un nouveau langage d'ontologie web et ses fondements logiques sont proposées afin de capturer la sémantique des sources de données relationnelles, tout en assurant le raisonnement décidable et automatique sur les informations provenant des sources. Une traduction automatisée des modèles ORM en ontologies est introduite pour permettre d'extraire la sémantique des données rapidement et sans faillibilité. Ce mécanisme prévoit la coexistence d'autre sources d'informations, tel que l'hypertexte, intégrées à l'environnement web sémantique.<br /> Cette thèse constitue une avancée dans un certain nombre de domaine, notamment dans l'intégration de données, l'ingénierie des ontologies, les logiques de descriptions, et la modélisation conceptuelle. Ce travail pourra fournir les fondations pour d'autres investigations pour intégrer les données provenant de sources relationnelles vers le web sémantique.

Les services basés sur les technologies de l'information dans les secteurs publics et privés sont en pleine croissance. Par conséquent, la demande énergétique est de plus en plus importante pour alimenter les équipements informatiques au sein des établissements utilisateurs et dans les data-centres. A cette phase de consommation, facilement identifiable par les utilisateurs, s'ajoute la phase de production des équipements dont les conséquences sur l'environnement sont difficilement perceptibles par les utilisateurs. Ainsi, les impacts environnementaux des TIC paraissent principalement " délocalisés " et " invisibles " par rapport à l'utilisateur final.Progressivement, l'enjeu environnemental prend sa place dans la logique du secteur des technologies de l'information, aboutissant au concept de " Green IT ". Concepteurs et utilisateurs cherchent désormais à évaluer les impacts environnementaux des technologies de l'information. Dans un contexte d'évaluation environnementale pour l'aide à la décision, l'objectif de cette thèse est d'évaluer les impacts environnementaux des équipements informatiques d'une organisation. Pour cela, nous envisageons une démarche qui vise à enrichir l'approche produit de type ACV par l'ajout de données spécifiques à l'organisation étudiée.Les recherches bibliographiques ont permis de dégager les spécificités et les besoins méthodologiques en termes d'évaluation des impacts. Ainsi, une méthodologie permettant l'expression des impacts environnementaux locaux et planétaires liés à la fabrication et à l'utilisation des technologies de l'information au sein d'une organisation est proposée. Appliquée lors d'un partenariat avec une entreprise multinationale de la grande distribution et validée par son application dans un centre de recherche, cette méthodologie centralise à la fois des données génériques disponibles dans des bases de données et des données spécifiques recueillies auprès des utilisateurs de l'organisation étudiée. Cette étape de terrain, point central de la méthodologie, permet dans un premier temps d'obtenir l'inventaire des équipements présents et dans un second temps de connaître et de comprendre le comportement réel des utilisateurs via une enquête et des mesures de puissances et de consommations électriques des équipements représentatifs du panel inventorié (utilisation de boitiers d'acquisition de valeurs dits " économètre ").L'approche d'évaluation environnementale des systèmes informatiques développée au cours de ce travail a pour objectif de mettre en exergue les répercussions sur l'environnement que peuvent avoir les technologies de l'information au sein d'une organisation. Un des résultats principaux montre que la majorité des impacts environnementaux sont plus liés à la phase de production qu'à la phase d'utilisation. De plus, cette méthode aide à l'identification des pistes d'améliorations : choix et gestion des équipements, comportement individuel, charte d'utilisation, choix d'une politique éco-responsable... Ainsi, par un calcul d'éco-efficience mettant en jeu les gains environnementaux et économiques, les solutions répondant à la stratégie de développement de l'organisation étudiée peuvent être sélectionnées.

La conception de produits industriels complexes exige la collaboration de plusieurs acteurs de différents domaines et est distribuée géographiquement tout au long du processus de conception. Afin d'améliorer les résultats au regard du triptyque qualité, coût, délais et de la mondialisation des marchés, des concepteurs, distribués dans l'espace et dans le temps ont besoin d'un environnement de travail pour collaborer, afin de : créer une compréhension partagée entre les différents acteurs d'une équipe, les concepteurs doivent négocier et argumenter les solutions. partager des informations sur le produit entre différents métiers dans les étapes du processus de conception. synchroniser les différentes versions de modèles du produit entre les concepteurs. Le travail collaboratif s'organisant comme une alternance de travaux synchrones et asynchrones, nous souhaitons améliorer la continuité des flux d'informations entre ces différents modes de collaboration. Ceci passe par une amélioration des outils de communication technique en mode synchrone, et par la possibilité pour les concepteurs de synchroniser les versions de modèles modifiées en mode asynchrone. Ce deuxième point est obtenu par une identification de conflits entre version, et une facilitation du dialogue argumentatif synchrone afin de converger dans la négociation des choix de résolution de ces conflits. La démarche générale de la thèse se base sur la Design Research Methodology, basée sur une observation de situation industrielle et une analyse de scénarios d'usage, la proposition et le développement de nouveaux outils, et finalement une évaluation de l'utilisabilité

L'objectif de cette thèse est d'étudier l'effet d'un entraînement explicite de la conscience phonémique (CP) en anglais L2 et les apports potentiels du tableau blanc interactif (TBI) comme instrument permettant de réaliser cet entraînement avec des apprenants de CE1. A partir des travaux de pédagogues tels que Borel-Maisonny et Caleb Gattegno, nous avons conçu des aides multimodales qui sont à la fois visuelles, sonores et kinesthésiques. Les couleurs de l'approche Gattegno ont été reprises pour créer des cartes de couleur auxquelles nous avons joint une représentation sonore du phonème. La carte sonore est également manipulable sur le TBI. En ce sens, la manipulation sur TBI pourrait aider la manipulation mentale des éléments. Les représentations des phonèmes constituent des représentations externes multimodales intégrées (REMI). Ces REMI ont été intégrées à un dispositif d'apprentissage permettant de valider les hypothèses de recherche. Il s'agissait non seulement d'évaluer l'efficacité de tâches explicites de conscience phonémique dans le cadre de l'apprentissage de l'anglais, mais également d'évaluer l'efficacité de l'utilisation du TBI pour réaliser les tâches de conscience phonémique. Ces hypothèses de recherche ont été testées à l'aide de trois groupes d'apprenants : deux groupes expérimentaux et un groupe contrôle. Un groupe a effectué des tâches explicites de conscience phonémique avec les REMI sur TBI (groupe ConsPhonoTBI), un groupe a effectué ces mêmes tâches de manière classique, c'est-à-dire mentalement sans aide multimodale (groupe ConsPhono), tandis que le groupe contrôle a fait des activités de vocabulaire anglais. La comparaison du groupe contrôle avec le groupe ConsPhono permet de déterminer l'effet d'un entraînement explicite de la conscience phonémique, tandis que la comparaison du groupe ConsPhono avec le groupe ConsPhonoTBI permet de déterminer l'effet des aides multimodales et de leur utilisation sur TBI dans le cadre de cet entraînement explicite. Cette recherche a pour objet une intervention dans le domaine du travail puisque les enseignants et les apprenants sont considérés comme étant en situation de travail. Cette recherche s'inscrit alors dans le cadre de l'ergonomie cognitive. En l'occurrence, la quasi-expérimentation a été menée en 2011-2012 auprès d'apprenants issus de classes de CE1 situées dans l'Isère. Dans la méthodologie de recherche mixte adoptée, les données qualitatives et quantitatives ont été triangulées et permettent d'obtenir des résultats ayant une validité interne. L'étude indique que le travail explicite de la conscience phonémique a un effet sur le niveau atteint dans ce domaine et que l'utilisation des REMI sur TBI permet d'atteindre un meilleur niveau dans le même laps de temps. Par ailleurs, cette étude indique que l'utilisation du TBI pour mener cet entraînement explicite permet à des enseignants non-spécialistes en langue de se décentrer pour réguler l'activité, de proposer une prononciation correcte aux élèves, renforçant ainsi le sentiment d'auto-efficacité au sens de Bandura (2003). En outre, le TBI favorise les échanges entre les apprenants au niveau du groupe classe et permet une découverte collective des phonèmes anglais.

Between the end of the Middle Ages and the beginning of the 17th century, western Europe is the stage for one of history's demonological crisis. Many critics associated this witch hunt with an episode of collective delirium and perhaps also irrationality on the rise. Nevertheless, witchcraft is first and foremost an object of knowledge---demonology---, which many writers, jurists and theologians attempted to construct, define and constantly re-evaluate. Demonology was progressively elaborated in the midst of a culture where multiples beliefs and ideologies were interpreted to be the language, or the Christian testimony of a universe troubled by the signs of devil. / As we progress towards the 17th century, the demonological discourse tends to distance itself from the traditional knowledge, searching for its truth in facts and experience. Shifting towards empiricism, the witch's body becomes the privileged stage for a confrontation between the devil and the judge. However, in order for this body to reveal its monstrosity, the demonologist must become both exegete and producer of words, which in turn, he finds in the witch as tangible signs of her otherness. Moreover, in his desire to interrogate the witch, the scholar wishes mostly to question the feminine nature, cloaking her with an otherness of problematic and dangerous attributes. Through scholarly language, Renaissance demonology wishes to significantly organize the divided world of witchcraft and in the process, a certain feminine identity, diabolically other. / Through the works of two demonologists having had a direct experience with trials, the Discours execrable des sorciers by Henri Boguet (1602) and the Tableau de l'inconstance des mauvais anges et demons (1612) by Pierre de Lancre, we explore the link between malefic femininity and witchcraft: the images they convey, the fascination they trigger and their mirroring through and in writing.

This thesis presents various models to the fashion industry to predict the profits for some products. To determine the expected performance of each product in 2016, we used tools of game theory to help us identify the expected value. We went further and performed a simple linear regression and used scatter plots to help us predict further the performance of the products of Prada. We used tools of game theory, analytics, and statistics to help us predict the performance of some of Prada's products. We also used the Tableau platform to visualize an overview of the products' performances. All of these tools were used to aid in finding better predictions of Prada's product performances.