Notre travail de recherche porte sur l'analyse de l'action du professeur et ses interactions avec les élèves dans le domaine spécifique de l'étude du numérique en Cours Préparatoires. L'objectif de notre thèse est d'analyser l'action du professeur et ses pratiques didactiques en classes, et formatives dans une Cellule d'Animation Pédagogique. La première partie comporte une présentation du contexte socio économique et éducatif du Niger. Nous nous interrogeons ensuite sur les pratiques professorales permettant ou non aux élèves de prendre de réelles responsabilités par rapport aux savoirs, et sur la pertinence du travail de conception collective de séances. Dans la deuxième partie, nous exposons nos outils théoriques, les travaux antérieurs en lien avec nos objets de recherche, et la problématique générale de notre travail. La troisième partie est consacrée à la démarche méthodologique qui fonde notre étude sur l'analyse des manuels, des vidéos de classe et les observations in situ. La quatrième partie examine les ressources mathématiques utilisées à l'écoleprimaire au Niger, en interrogeant l'influence de ces ressources sur les pratiques habituelles des professeurs enquêtés. Les cinquième et sixième parties analysent les séances empiriques en termes de topogénèse, et de recours aux systèmes sémiotiques pour étudier le savoir en jeu dans les situations didactiques. Dans la septième partie, nous proposons un dispositif innovant de formation continue sur la conception collective de leçons dans une CAPED. En conclusion, dans une huitième partie nous présentons d'abord une synthèse de nos résultats, et nous exposons ensuite les perspectives que ce travail de recherche offre en termes de propositions en vue de l'élaboration d'ingénieries didactiques qui pourraient permettre la mise en place d'un travail coopératif entre professeurs et chercheurs

Notre travail de recherche porte sur l’analyse de l’action du professeur et ses interactions avec les élèves dans le domaine spécifique de l’étude du numérique en Cours Préparatoires. L’objectif de notre thèse est d’analyser l’action du professeur et ses pratiques didactiques en classes, et formatives dans une Cellule d’Animation Pédagogique. La première partie comporte une présentation du contexte socio économique et éducatif du Niger. Nous nous interrogeons ensuite sur les pratiques professorales permettant ou non aux élèves de prendre de réelles responsabilités par rapport aux savoirs, et sur la pertinence du travail de conception collective de séances. Dans la deuxième partie, nous exposons nos outils théoriques, les travaux antérieurs en lien avec nos objets de recherche, et la problématique générale de notre travail. La troisième partie est consacrée à la démarche méthodologique qui fonde notre étude sur l’analyse des manuels, des vidéos de classe et les observations in situ. La quatrième partie examine les ressources mathématiques utilisées à l’écoleprimaire au Niger, en interrogeant l’influence de ces ressources sur les pratiques habituelles des professeurs enquêtés. Les cinquième et sixième parties analysent les séances empiriques en termes de topogénèse, et de recours aux systèmes sémiotiques pour étudier le savoir en jeu dans les situations didactiques. Dans la septième partie, nous proposons un dispositif innovant de formation continue sur la conception collective de leçons dans une CAPED. En conclusion, dans une huitième partie nous présentons d’abord une synthèse de nos résultats, et nous exposons ensuite les perspectives que ce travail de recherche offre en termes de propositions en vue de l'élaboration d'ingénieries didactiques qui pourraient permettre la mise en place d’un travail coopératif entre professeurs et chercheurs / Our research focuses on the teacher's action and his interactions with students in the specific field of the study of digital in grade 2. The objective of this PhD dissertation is to analyze the teacher's action and his didactic practices in classes, and training practices in a CAPED in the Niger context. The first part of this PhD dissertation includes a presentation of the socio-economic and educational contexts in Niger. Then we examine the teaching practices in order to see if they allow students to take or not real responsibilities in relation to knowledge, and the appropriateness of collective design work sessions.In the second part, we present our theoretical tools, previous work related to our research objects, and the general problem tackled by our work. The third part is devoted to our methodological approach based on the study of textbook analyze, videos of classes and field observations. The fourth section discusses the mathematic resources used in the primary education in Niger and question the impact of these resources on the observed teachers' usual practices. The fifth and sixth sessions analyze empirical lessons in terms of topogenesis, and semiotic systems to study the knowledge involved in the didactic situations. In the seventh part, we propose an innovative in-service training based on the design of lessons in a collective CAPED. In conclusion, in an eighth part we first present a summary of our results, and then we present the perspectives that this research offers in terms of further developments of didactic engineering that could allow the implementation of a collaborative work between teachers and researchers

Durant leur exécution, les systèmes concurrents manipulent diverses ressources dynamiques en nombre : fichiers, liens de communication, mémoire, etc. Les propriétés comportementales de ces systèmes sont alors étroitement liées aux manipulations de ces ressources qu'ils allouent, utilisent, puis détruisent. Nous proposons dans cette thèse une analyse quantitative, effectuée de manière statique, de ce type de ressources pour les systèmes concurrents et dynamiques. Les systèmes que l'on considère peuvent être des programmes concurrents et parallèles (le langage Piccolo développé dans le cadre de ce travail en est un exemple), ou encore la modélisation de systèmes plus généraux. Pour atteindre cette généricité, notre travail repose fortement sur les algèbres de processus, et plus particulièrement sur le pi-calcul pour lequel nous proposons une variante sémantique ainsi que plusieurs abstractions adaptées à l'observation des ressources en particulier. Le socle théorique de notre analyse est présenté sous la forme d'un nouveau type d'automates nominaux : les nu-automates. Ils permettent de raisonner spécifiquement sur les ressources dynamiques, tant pour caractériser les notions quantitatives de consommation en ressources que pour de futures analyses qualitatives. À partir de ce formalisme nous réalisons ensuite un ensemble d'algorithmes ayant pour but de mettre en oeuvre les résultats introduits sur les nu-automates. Enfin, nous proposons plusieurs expérimentations, sur la base d'exemples classiques du pi-calcul, de notre prototype d'analyse de ressources. / Concurrent activities involve undoubtedly many dynamic resources manupulations: files, communication links, memory, etc. Then, the behavioral properties of such systems are closely linked to their usage of those resources that they allocate, use, and finally destroy. In this work, we develop a quantitative static analysis of concurrent and parallel systems for this kind of resources. Systems that we consider can be concurrent and parallel programs (written for example in the Piccolo programming language which was developped during this thesis), or models descriptions of more general systems. To be generic, our work lies on process algebra, specifically pi-calculs for which we propose a variant semantics in addition to several resources abstractions strategies. The underlying theory is developped as a nominal automata framework (namely the nu-automata). They allow one to reason about dynamic resources usage to charaterize both quantitative and qualitative properties. From this formalism we establish an algorithmic framework that enforce the qualitative results defined on nu-automata. Finally, our resources abstractions and resources analysis are tested experimentally on classical pi-calculus examples using our prototype analysis tool.

Bien que les programmes officiels de mathématiques recommandent l'utilisation du tableur dès le collège et bien que les ressources destinées à aider les enseignants se multiplient, l'intégration de cet outil reste aujourd'hui très marginale en France. Pour comprendre les problèmes posés, nous nous centrons sur le domaine de la transition arithmétique-algèbre où le tableur est identifié par les recherches didactiques comme particulièrement utile aux apprentissages mathématiques. L'approche instrumentale que nous adoptons permet d'étudier les potentialités théoriques du tableur en relation avec l'apprentissage de l'algèbre, et de questionner les travaux de recherche dans ce domaine, en montrant notamment la faible part qu'ils font aux questions pourtant cruciales de genèse instrumentale et de gestion de ces genèses par les enseignants et l'institution scolaire. Ces analyses théoriques nous servent alors à construire une ingénierie exploratoire en classe de 5e, à analyser des ressources proposées sur le site du Ministère de l'Education Nationale, et enfin à comparer les conceptions de professeurs stagiaires à celles d'enseignants experts assurant des formations aux TIC. Les résultats obtenus élargissent nos connaissances didactiques des questions d'intégration technologique, au-delà même de la technologie particulière étudiée dans la thèse. Ils offrent des perspectives du point de vue des ressources pédagogiques, de la formation des maîtres, et des outils eux-mêmes en introduisant notamment la notion de distance instrumentale. Reste à savoir, et nous en avons donné quelques pistes, comment mesurer cette distance...