Les chefs d’établissement face aux paradoxes de l’école démocratique de masse : l’exemple des principaux de collèges publics en France

Le fonctionnement de l’école démocratique moderne semble présupposer la coexistence d’objectifs souvent jugés contradictoires. Résultat de l’affrontement d’une pluralité de logiques qui ont toutes leur légitimité, ces contradictions paraissent en partie à la source des tensions ressenties par les chefs d’établissement. Cet article porte, pour la France, sur deux dimensions de ces tensions : la question du choix de l’établissement par les familles et celle de la concurrence entre les établissements. Les données issues d’une enquête par questionnaire menée à partir d’un échantillon national de 654 principaux de collèges publics et d’une quinzaine d’entretiens montrent que le tiers des chefs d’établissement interrogés manifestent leur désarroi par des réponses qui se veulent nuancées et qui révèlent parfois des positions peu conciliables.The modern democratic school’s operation seems to presume the co-existence of objectives that are often judged to be contradictory. These contradictions, resulting from the interaction of a variety of logical and legitimate positions, seem to partially explain the source of tensions expressed by institutional directors. This article describes two aspects of these tensions in France : the question of how families choose the institution and that of the competition between institutions. The data from a national sample including 654 public college directors who responded to a questionnaire and 15 interviews show that a third of the directors questioned demonstrated their confusion by responses interpreted as having nuance and so reflected views that are difficult to conciliate.El funcionamiento de la escuela democrática moderna parece presuponer la coexistencia de objetivos a menudo juzgados contradictorios. Resultado del enfrentamiento de una pluralidad de lógicas que tienen todas su legitimidad propia, esas contradicciones parecen originar, en parte, las tensiones experimentadas por los dirigentes de establecimientos. Este artículo trata, por la Francia, sobre dos dimensiones de estas tensiones : la cuestión de la elección del establecimiento por parte de la familia y aquella de la competencia entre establecimientos. Los datos surgidos de una encuesta realizada por medio de formularios sobre una muestra nacional de 654 directores de colegios públicos y de una quincena de entrevistas, indican que un tercio de los dirigentes de establecimientos interrogados manifiesta su desconcierto ante respuestas que se pretenden matizadas y que revelan, a veces, posiciones dificilmente concilables.Die Praxis des modernen demokratischen Schulwesens scheint auf der Koexistenz von Zielsetzungen zu beruhen, die häufig als widersprüchlich angesehen werden. Die Widersprüche, die sich auf Grund des Zusammenpralls verschiedener Denkweisen (die jedoch alle legitim sind) ergeben haben, bilden häufig die Grundlage für die Spannungen, mit denen die Schulleiter täglich zu tun haben. Der Beitrag setzt sich vor allem mit zwei, für Frankreich typische Spannungen auseinander : erstens mit der Frage der Schulwahl durch die Eltern, zweitens mit der Konkurrenz der verschiedenen Schulen untereinander. Die hier verwendeten Daten wurden mit Hilfe eines Fragebogens ermittelt, der von 654 Leitern öffentlicher Schulen beantwortet wurde. Zusätzlich wurden ca. 15 Gespräche hinzugezogen. Die Ergebnisse belegen, dass ein Drittel der befragten Schulleiter ihrer Bestürzung Ausdruck gab, und dies durch Antworten, die sich als nuanciert verstanden und häufig Einstellungen vertraten, die nur schwer miteinander in Einklang zu bringen sind

Compositional Verification for Timed Systems Based on Automatic Invariant Generation

We propose a method for compositional verification to address the state space explosion problem inherent to model-checking timed systems with a large number of components. The main challenge is to obtain pertinent global timing constraints from the timings in the components alone. To this end, we make use of auxiliary clocks to automatically generate new invariants which capture the constraints induced by the synchronisations between components. The method has been implemented in the RTD-Finder tool and successfully experimented on several benchmarks

Apprendre à reconnaître les arbres en CM2 : La situation de jeu « Florex »

International audienceIn reference of the situation theory of G. Brousseau we have created an adidactic situation in the goal of learning pupil how to recognize trees. This situation was crated like a game which pupils must recognized as quick as possible and as precise as possible 18 trees in a wood in Haute-Savoie. In this paper we want to presente the situation we build and the didactic's analyse we do. After this didactic's ingeniery we have test and analyse the Florex situation at pupils in age of 12. It's the description of this situation and the experimental results that we describe in this paperL'article présente une situation créée pour développer un apprentissage de la reconnaissance des arbres en classe de CM2, à l'aide de critères et d'un raisonnement à partir de ces critères. Cette situation a été conçue comme un jeu au cours duquel les élèves ont à reconnaître le plus rapidement et le plus justement possible 18 arbres situés dans un parc naturel en Haute-Savoie. Nous avons voulu créer une situation adidactique, au sens de G. Brousseau. Nous exposons dans cet article la situation et son analyse didactique. Lors de cette analyse nous avons identifié des variables didactiques, des phases et des stratégies possibles pour les élèves. Dans un premier temps nous présentonsleprincipedujeuetseséléments.Dansunsecondtempsnous formalisons l'analyse didactique, en référence, entre autres, à la théorie des situations de G. Brousseau

Apprendre à reconnaître les arbres en CM2 : La situation de jeu « Florex »

International audienceIn reference of the situation theory of G. Brousseau we have created an adidactic situation in the goal of learning pupil how to recognize trees. This situation was crated like a game which pupils must recognized as quick as possible and as precise as possible 18 trees in a wood in Haute-Savoie. In this paper we want to presente the situation we build and the didactic's analyse we do. After this didactic's ingeniery we have test and analyse the Florex situation at pupils in age of 12. It's the description of this situation and the experimental results that we describe in this paperL'article présente une situation créée pour développer un apprentissage de la reconnaissance des arbres en classe de CM2, à l'aide de critères et d'un raisonnement à partir de ces critères. Cette situation a été conçue comme un jeu au cours duquel les élèves ont à reconnaître le plus rapidement et le plus justement possible 18 arbres situés dans un parc naturel en Haute-Savoie. Nous avons voulu créer une situation adidactique, au sens de G. Brousseau. Nous exposons dans cet article la situation et son analyse didactique. Lors de cette analyse nous avons identifié des variables didactiques, des phases et des stratégies possibles pour les élèves. Dans un premier temps nous présentonsleprincipedujeuetseséléments.Dansunsecondtempsnous formalisons l'analyse didactique, en référence, entre autres, à la théorie des situations de G. Brousseau

Compositional Verification of Parameterised Timed Systems

International audienceIn this paper we address the problem of uniform verification of parameterised timed systems (PTS): " does a given safety state property hold for a system containing n identical timed components regardless of the value of n? ". Our approach is compositional and consequently it suits quite well such systems in that it presents the advantage of reusing existing local characterisations at the global level of system characteri-sation. Additionally, we show how a direct consequence of the modelling choices adopted in our framework leads to an elegant application of the presented method to topologies such as stars and rings

Compositional Invariant Generation for Timed Systems

International audienceIn this paper we address the state space explosion problem inherent to model-checking timed systems with a large number of components. The main challenge is to obtain pertinent global timing constraints from the timings in the components alone. To this end, we make use of auxiliary clocks to automatically generate new invariants which capture the constraints induced by the synchronisations between components. The method has been implemented as an extension of the D-Finder tool and successfully experimented on several benchmarks

Towards Time-triggered Component-based System Models

International audienceIn this paper, we propose a methodology for producing correct-by-construction Time-Triggered (TT) physical model by starting from a high-level model of the application software in Behaviour, Interaction, Priority (BIP). BIP is a component-based framework with formal semantics that rely on multi-party interactions for synchronizing components. Commonly in TT implementations, processes interact with each other through a communication medium. Our methodology transforms, depending on a user-defined task mapping, high-level BIP models where communication between components is strongly synchronized, into TT physical model that integrates a communication medium. Thus, only inter-task communications and components participating in such interactions are concerned by the transformation process. The transformation consists of: (1) breaking atomicity of actions in components by replacing strong synchronizations with asynchronous send/receive interactions, (2) inserting communication media that coordinate execution of inter-task interactions according to a user-defined task mapping, (3) extending the model with an algorithm for handling conflicts between different communication media and (4) instantiating task components and adding local priority rules for handling conflicts between inter-task and intra-task interactions. We also prove the correctness of our transformation, which preserves safety properties. I. INTRODUCTION A Time-Triggered (TT) system initiates all system activities-task activation, message transmission, and message detection-at predetermined points in time. Ideally, in a time-triggered operating system there is only one interrupt signal: the ticks generated by the local periodic clock. These statically defined activation instants enforce regularity and make TT systems more predictable than Event-Triggered (ET) systems. This approach is well-suited for hard real-time systems. In [1] and [2], Kopetz presents an approach for real-time system design based on the TT paradigm which comprises three essential elements: The global notion of time: It must be established by a periodic clock synchronization in order to enable a TT communication and computation, The temporal control structure of each task: In a sequence of computational or communication processes (called tasks), the start of a task is triggered by the progression of the global time, independently from the involved data of the task. The worst-case execution time and thus the worst-case termination instant are also assumed to be known a priori. These statically predefined start and worst-case termination instants, define the temporal control structure of the task