Search

International audience; The purpose of this study was to test the links between self-esteem, the feeling of self-efficacy and the different forms of motivation. It also aimed to understand the mediating effect of the meaning of work between the variables. French work-integrated learning students (n = 471) completed a self-administered online questionnaire. The results showed significant links between self-esteem, perceived self-efficacy, work meaning, and different dimensions of motivation (extrinsic, intrinsic, and amotivation). In addition, the meaning of work played a mediating role in the relationship between self-esteem, perceived self-efficacy, and dimensions of motivation. This study showed the central mechanism of work meaning in work motivation.; Cette étude avait pour but de tester les liens entre l’estime de soi, le sentiment d’auto-efficacité et les différentes formes de motivation. Elle visait aussi à comprendre l’effet médiateur du sens du travail entre ces variables. Des étudiants français en alternance (n = 471) ont complété un questionnaire en ligne auto-administré. Les résultats ont montré des liens significatifs entre l’estime de soi, le sentiment d’auto-efficacité, le sens du travail et les différentes formes de motivation (extrinsèque, intrinsèque et amotivation). De plus, le sens du travail exerçait un effet médiateur entre l’estime de soi, le sentiment d’auto-efficacité et, les différentes formes de motivation. Cette étude montre le mécanisme central du sens du travail dans la motivation au travail.

Résumé Dans le domaine de la formation des enseignants en alternance, l’exploitation e la vidéo pour l’analyse des pratiques pédagogiques est une méthode de formation bien établie pour favoriser la réfexion sur les pratiques et les routines professionnelles et améliorer l’enseignement. Bien que la vidéo soit utilisée depuis longtemps dans ce type de formation, on considère que la valeur et l’utilisation de l’annotation vidéo des situations réelles vidéo-enregistrées devraient être explorées particulièrement dans le contexte de la formation des enseignants du secteur professionnel, qui a lieu en cours d’emploi. L’étude présentée est une expérience pilote à cet égard dans le domaine de la formation de base des enseignants du secteur professionnel dans le contexte duquel peu d’études ont été réalisées sur l’utilisation de l’annotation vidéo pour la formation des enseignants. Un programme de formation de deux ans utilisant l’annotation vidéo a été évalué et analysé. Les dimensions étudiées sont les perceptions des enseignants sur l’utilité, l’acceptation et la durabilité de la vidéo-annotation dans l’analyse des pratiques didactiques. Les résultats montrent une très bonne acceptation et utilité de l’annotation vidéo pour la réfexion sur la pratique et pour fournir des retours d’information. Les implications pour l’intégration d’un programme structurel d’analyse des pratiques basé sur l’annotation vidéo sont présentées.

Este ensayo explora cómo la pandemia ha mostrado transformaciones en la empresa que han producido cambios significativos en la forma en que se llevan a cabo las actividades de trabajo enmarcadas en el uso intensivo de la modalidad de teletrabajo, que a su vez han generado una rápida adaptación al uso de la tecnología, ya que, incluso cuando termine la pandemia, el teletrabajo ha llegado para quedarse y será la principal forma en que muchas empresas en el mundo realizarían el 80% de sus actividades. Sin embargo, para la economía de un país en desarrollo, específicamente el caso de Colombia se ha encontrado con algunos desafíos que deben enfrentar los empresarios para lograr esquemas organizativos adecuados que permitan no afectar la productividad en las empresas. Se señalan las correlaciones directas que algunos autores han hecho en términos generales sobre el fenómeno del teletrabajo, la productividad y el absentismo, la adaptación a estos nuevos modelos de trabajo por cuenta de las implicaciones de la Covid-19 así como aspectos específicos de los desafíos a los que se enfrentan los gerentes en el fortalecimiento del trabajo remoto, la creación de una cultura remota y el bienestar de los colaboradores, todo en el propósito principal de garantizar la productividad y el adecuado desempeño en las labores que ahora son realizadas desde casa. Resumen 3 Abstract 3 Introducción 4 Definición del problema 6 Pregunta de investigación 9 Objetivos 9 Objetivo General 9 Objetivos Específicos 9 Metodología 10 Antecedentes 11 Análisis 16 Conclusiones 22 Recomendaciones 24 Bibliografía 25 This essay explores how the pandemic has shown transformations in the company that have produced significant changes in the way framing work activities are carried out in the intensive use of the telework mode, which in turn have led to a rapid adaptation to the use of technology, since, even when the pandemic ends , telework has arrived to stay and will be the main way in which many companies in the world would carry out 80% of their activities. However, for the economy of a developing country, specifically the case of Colombia have encountered some challenges that employers face in order to achieve adequate organizational schemes that do not affect productivity in companies, point out the direct correlations that some authors have made in general terms about the phenomenon of telework productivity and absenteeism , adapting to these new models of work on account of the implications of covid-19 as well as specific aspects of the challenges strengthening remote work, creating a remote culture, the well-being of collaborators all in the main purpose of ensuring productivity and proper performance in the work now done from home. Especialización

International audience; Cette communication vise à diffuser les premiers résultats d'un projet de partenariat stratégique Erasmus+ (2018-1-DE1-KA203-00423) réalisé entre septembre 2018 et août 2021par 4universités européennes de sciences appliquées. Le projet InT#Tech (International Transfer of cooperative study programmes in Europe) a pour objectif de développer un module international dédié aux apprentis ingénieurs, axé sur la transformation digitale en ingénierie. Après avoir comparé les différents modèles d’alternance, identifié les attentes communes et expérimenté un premier niveau de coopération (une université d'été), la tâche la plus délicate du projet fut d'imaginer, développer et mettre en œuvre une unité d'enseignement innovante valant 5 crédits ECTS,en contexte de crise sanitaire mondiale. Le document détaille la démarche d’ingénierie pédagogique de cette unité d’enseignement pensée en distantiel par la force des événements de 2020

International audience; La conception et la mise en oeuvre des "formations professionnalisantes" reposent de plus en plus sur un principe d'alternance entre formation académique (scolaire, universitaire) et mise en situation de travail sur le terrain. Affrontant la complexité de la question de l'engagement des apprenants dans ce type de formation, l'ouvrage apporte des analyses précises et éclairantes sur la manière dont sont vécus, reliés, appropriés les apprentissages correspondant aux différents espaces-temps de cette modalité d'alternance et sur les stratégies mobilisées par les apprenants pour faire face aux transitions professionnelles qui y sont engagées. Les auteur.e.s situent leurs études dans des contextes variés et ne se contentent pas d'analyser et de comparer les caractéristiques techniques des espaces d'apprentissage concernés. À partir d'entretiens et de récits de personnes en formation, les contributions montrent comment la pluralité des situations et des expériences d'apprentissage au sein d'une même formation engage les apprenants à développer des capacités de réflexivité formative faisant appel à des ressources techniques, cognitives, épistémiques mais aussi émotionnelles, relationnelles, expérientielles. Elles éclairent en particulier la part des processus biographiques dans la construction d'un soi professionnel en devenir. Les recherches exposées permettent également de mieux situer la teneur et la portée des médiations proposées par les formateurs pour accompagner ces démarches de formation-transformation dont l'apprenant est toujours le premier acteur. À ces divers titres, l'ouvrage coordonné par France Merhan, Mariane Frenay et Elsa Chachkine offre une contribution précieuse à la recherche concernant un domaine essentiel de la formation des adultes. [résumé éditeur]

Cet article compare deux systèmes de formation duale par alternance, l’un en partenariat privépublic (PPP), l’autre en école à plein temps proposant des parties pratiques intégrées (PPI). Sur la base de 12 entretiens semi-directifs, il cherche à comprendre leurs fonctionnements et à savoir si ces deux flières offrent les mêmes opportunités en termes de formation, d’employabilité et de professionnalisation. Les résultats mettent en évidence que les systèmes présentés peuvent être qualifés «d’alternance juxtapositive» et que la communication est insuffsante entre les lieux de formation. Toutefois, les situations réelles rencontrées dans le PPP représente un avantage en termes d’employabilité et d’appréciation de la formation.

Résumé Cet article compare deux systèmes de formation duale par alternance, l’un en partenariat privépublic (PPP), l’autre en école à plein temps proposant des parties pratiques intégrées (PPI). Sur la base de 12 entretiens semi-directifs, il cherche à comprendre leurs fonctionnements et à savoir si ces deux flières offrent les mêmes opportunités en termes de formation, d’employabilité et de professionnalisation. Les résultats mettent en évidence que les systèmes présentés peuvent être qualifés «d’alternance juxtapositive» et que la communication est insuffsante entre les lieux de formation. Toutefois, les situations réelles rencontrées dans le PPP représente un avantage en termes d’employabilité et d’appréciation de la formation.

International audience

International audience; Comment le numérique pourrait-il enrichir la mise en œuvre d’une pédagogique de l’alternance intégrative ? Voici le questionnement partagé par les acteurs de l’expérimentation « Alternance et Numérique » impulsée par le Dispositif National d’Outillage Pédagogique des Maisons Familiales Rurales. L’article revient sur le contexte d’émergence de ces expérimentations, focalise sur trois expériences significatives d’une alternance mobilisant le numérique. Il analyse ensuite ce dispositif au regard de l’évaluation réalisée, des pistes et questionnements générés par l’intégration du numérique dans l’ingénierie des formations par alternance.

International audience; Penser un parcours de professionnalisation, c'est d'abord penser sa durée, dans ce qu'elle exprime de notre rapport complexe aux différents temps sociaux. Le parcours de professionnalisation révèle différents moments de vie. Il porte en lui l'alternance de différentes situations. Il s'inscrit dans une institution, une organisation et un dispositif. Il est un mouvement alternant des lieux, des temps, des histoires, des objets et des sujets. La question des temporalités est constitutive de cette ingénierie de la professionnalisation que les organisations apprenantes cherchent aujourd'hui à promouvoir. Le projet de cet ouvrage est triple : comprendre l'impact du rapport aux temporalités sur la conception et la mise en œuvre de la professionnalisation du parcours de formation ; comprendre le rôle des dynamiques temporelles dans la réussite des dispositifs de professionnalisation ; comprendre en quoi le concept d'alternance convoqué dans l'ingénierie de professionnalisation exprime les débats sur les liens entre temporalités, travail et formation. [résumé éditeur]

Nous avons, tout d’abord, mené une recherche exploratoire afin d’en préciser les caractéristiques spécifiques (Bluteau, 2020). Ainsi, nous avons identifié quelques recherches récentes sur les dispositifs hybrides de formation en enseignement supérieur (Lebrun et al., 2014), sur l’approche expériencielle dans les formations à distance intégratives (Papadopoulou, 2020), sur les compétences et la FOAD (Plateau, 2018). Nous avons constaté l’absence de cadre de lecture de ces dispositifs. A partir du concept de dispositif (Peeters & Charlier, 1999) (Albero, 2010), d’hybridation (Deschryver & Charlier, 2012) et d’alternance (Bougès, 2013) (Boudjaoui & Leclercq, 2014) (Fernagu-Oudet, 2010) nous avons construit un cadre de lecture des dispositifs hybrides de formation par alternance. Dans le même temps, nous avons également exploré le concept de reliance (Bolle de Bal, 2003) (Bailly et al., 2018) (Quintin & Masperi, 2010) (Plateau et al., 2019). Nous avons cherché à identifier en quoi les ingénieries des dispositifs de formation par alternance prescriraient des reliances. Ainsi, à partir d’une étude qualitative de treize formations hybrides par alternance, nous avons identifié un continuum des dispositifs de formation par alternance instrumentés. Nous avons vu que ces dispositifs articulent des composantes spécifiques. Ils mobilisent cinq dimensions : l’articulation des activités en trois espaces temps, le partenariat et l‘ouverture, l’autoformation accompagnée, la médiation et la médiatisation. Dans chacune de ces dimensions, différentes composantes fondent la particularité fonctionnelle du dispositif, qui, par son caractère intégratif, prescrit des reliances sociale , personnelle et praxéologique . Celles-ci s’appuient sur des processus, structure et liens partagés entre ses acteurs mobilisant des instruments et des activités entre les différents espaces temps de formation, de travail et de vie. Enfin, nous avons mis en évidence une reliance professionnelle développée par les initiateurs de ces dispositifs, particulièrement dans leur relation à soi et à leur pratique. Ce premier travail ouvre de nombreuses perspectives de recherche.

Une étude des politiques et des pratiques linguistiques ainsi que des attitudes et perceptions de l'élite burundaise révèle des rapports diglossiques entre les langues en présence dans le paysage linguistique de ce pays. En particulier le français et le kirundi entretiennent des rapports diglossiques. Le français est privilégié dans les supports écrits et dans des conversations impliquant des relations de rôles, tandis que le kirundi est préféré dans les conversations orales sans relations de rôles et dans le discours social. Une alternance codique caractérise les le discours oral de l'élite en kirundi où le français est utilisé comme langue insérée, révélant également que le français est porteur d'un statut social., Doctorat en Langues, lettres et traductologie, info:eu-repo/semantics/nonPublished

Une étude des rapports et des politiques linguistiques ainsi que des attitudes et perceptions de l’élite burundaise par rapport aux langues enseignées dans ce pays révèle des rapports diglossiques entre le français comme ancienne langue de colonisation et le kirundi, la langue locale parlée par presque toute la population. En effet, une répartition des fonctions entre ces deux langues est encore très nette, le français étant réservé principalement aux productions écrites et à des situations de relations de rôles du type employé/employeur, professeur/étudiant, etc. au moment où le kirundi est privilégié pour les conversations orales et le domaine social. L’élite se distingue par une pratique d’alternance codique qui reflète leurs attitudes par rapport aux deux langues. Le français est une langue rarement parlée pendant que le kirundi n’est pas engagé dans la conquête des fonctions normalement réservées aux langues officielles. En outre, la tendance de la politique linguistique actuelle au Burundi est de répondre à des sollicitations extérieures, notamment celles de la Communauté Est-Africaine (EAC) plutôt anglophone en privilégiant l’anglais et le swahili sans toutefois prévoir des mesures pour s’assurer d’avoir une langue pour l’épanouissement intérieur et une langue d’opportunités et d’ouverture sur le monde extérieur., A study of linguage compétition and language policies as well as attitudes and perceptions of the Burundian elite showed insights over digglossic relations between French, as the former colonial language, and Kirundi, the local language that is spoken by almost the entire population. In fact, there is still a very clear share of functions between the two languages, with French being the language of the written form and used for role-relation conversations such as between an employer/employee, teacher/student, etc. while Kirundi keeps its bigger share in oral conversations and within the social domains. I addition, the elite’s speech is characterized a practice of code alternation that reflects their attitudes vis-à-vis the two languages. French is barely used in oral conversations while Kirundi is not clearly engaging in the competition for functions which are normally occupied by official languages.In addition, the current trend in language policies of Burundi is to respond to external demands, including those of the East-African Community (EAC) which is rather an Anglophone entity, by putting forward English and Swahili languages without taking measures that could ensure coexistence of a local language for the internal development and a language of opportunities and openness to the external world., Doctorat en Langues, lettres et traductologie, info:eu-repo/semantics/nonPublished

Résumé Sur la base d’une étude sociologique, nous proposons une analyse comparative de l’expérience subjective des conditions de travail des jeunes en formation en alternance dans le cadre de 2 secteurs d’activité : commerce de détail et maçonnerie. Cette étude qualitative qui se base sur des observations, entretiens semi-directifs et focus group a été menée au sein de 5 écoles professionnelles suisses. Quatre dimensions ont marqué les apprenti-e-s : exigences du travail ; environnement physique ; disponibilité temporelle et rémunération ; rapports sociaux. Les résulats montrent que les jeunes en formation ne portent pas un regard nétatif sur leur métier. L’expérience des conditions de travail parfois difficiles ne mettent pas pour autant en question le choix du métier et la projection dans le métier., Congrès international de l'AREF (Actualité de la Recherche en Education et en Formation)

Les relations formation-emploi représentent une importance de plus en plus valorisée.Pour répondre à la demande du marché de l’emploi, la professionnalisation des programmes de formation devient incontournable. En vue de bien examiner cette problématique, nous allons analyser les quatre concepts de la formation comme la professionnalisation, le partenariat, l’alternance et la notion des compétences. Nous essaierons d’éclairer la nécessité de construire des compétences transversales chez les étudiants à travers des dispositifs innovants. L’expérimentation du cours hybride d’Insertion Professionnelle et les interviews auprès des employeurs témoignent de ces propositions.

Les dispositifs de formation en alternance d’enseignants proposent fréquemment un accompagnement réflexif pour soutenir l’apprentissage et favoriser la professionnalisation. Cette fonction est le plus souvent assumée par des formateurs de l’institution et/ou des formateurs de terrain qui se retrouvent ainsi à enseigner des contenus, certifier certaines compétences et accompagner des étudiants dans l’analyse ou l’exercice de leurs pratiques.Ces différents rôles que doivent jouer les formateurs peuvent créer des champs de tensions. En effet, si les assumer en parallèle semble possible du point de vue de l’ingénierie et de l’activité des formateurs, que vivent les personnes en formation dans de tels dispositifs ? C’est le point d’entrée de cette étude de cas, une situation difficile d’accompagnement que nous questionnons par une analyse stratégique et systémique (Crozier & Friedberg, 1977). Cette recherche met en évidence des axes de réflexion pouvant être utiles aux concepteurs de tels dispositifs de même qu’aux acteurs impliqués dans ceux-ci : quels sont les buts visés par le dispositif lui-même, les fonctions et objets de l’évaluation, la répartition des différents rôles de l’évaluation entre les acteurs et le mode d’attribution des accompagnateurs ?, It is not rare for a trainer in a dual work-linked vocational training course to suggest students reflexive practice during their studies in order to improve learning and professionalization. It is usually done either by a teacher of the training course, or/and by trainer-practitioner, who are also teaching the contents, certifying and evaluating competencies, accompanying students in their analysis and their practical work.Those different roles played by different trainers could be in tension. If imagining them in parallel in course design and trainers workload is possible, what are the students experiencing in this dual training? This is the research question of a case study, analysis of a difficult accompanying situation, that we researched with strategic and systemic analysis (Crozier & Friedberg, 1977). This research reveals the possible questions for creators of dual vocational courses and for participants about the aims of the dual training, the functions and the object of evaluations, the roles of participants and the ways of recruiting the trainers.

The language inclusion problem is recognised as being central to verification in different domains, such as hardware, communication protocols, software systems, etc. There we might face two challenges: non-determinism and infinite alphabets.We propose two models of alternating automata over infinite alphabets: (i) alternating data automata (ADA) and (ii) first-order alternating data automata (FOADA). They both recognise the data words over infinite alphabets. In ADA model, the control states are Booleans and the transition rules are specified by a set of formulae in a combined first-order theory of states (Booleans) and data that relate past values of variables with current values of variables. But a restriction of the ADA model is that, there is not hidden variable, hence all the data values taken by the variables are visible in the input. But in FOADA model, the arguments of a predicate atom track the values of the internal variables associated with the state, and these values are invisible in the input sequence, which overcomes the restriction of the ADA model.With these two alternating models, Boolean operations of union, intersection and comple- ment can be done in linear time, thus matching the complexity of performing these opera- tions in the finite-alphabet case. However, the price to be paid here is that the emptiness checking becomes undecidable. For this reason, we provide two efficient semi-algorithms for emptiness checking: (i) lazy predicate abstraction and (ii) IMPACT method. These semi-algorithms are proven to terminate by returning a word from the language of the given au- tomaton if one exists; but if the language of the given automaton is empty, then the termination is not guaranteed.The main application of our models is checking inclusions between various classes of au- tomata extended with variables ranging over infinite domains that recognise languages over infinite alphabets. The most widely known classes of this kind are timed automata and finite- memory (register) automata. Another application is checking safety (mutual exclusion, absence of deadlocks, etc.) and liveness (termination, lack of starvation, etc.) properties of parameterised concurrent programs.Besides the theoretical parts, we also have developed a tool - FOADA Checker, mainly used for checking inclusion between two automata or checking emptiness of an automaton. FOADA Checker is written in Java, via Java-SMT interface and using Z3 SMT solver for spuriousness, coverage queries and interpolant generation. The IMPACT semi-algorithm has been implemented in the tool to check the emptiness of an automaton., Le problème de l’inclusion linguistique est reconnu comme étant au cœur de la vérification dans différents domaines, tels que le matériel, les protocoles de communication, les systèmes logiciels, etc. Nous pouvons être confrontés à deux défis: le non-déterminisme et les alphabets infinis.Nous proposons deux modèles d’automates alternatifs sur des alphabets infinis : (i) les automates alternatifs de données (ADA) et (ii) les automates alternatifs de données du premier ordre (FOADA). Ils reconnaissent tous deux les mots de données sur des alphabets infinis. Dans le modèle ADA, les états de contrôle sont des booléens et les règles de transition sont spécifiées par un ensemble de formules combinées dans une théorie des états du premier ordre (booléens) et des données associant les valeurs passées des variables aux valeurs actuelles des variables. Mais le modèle ADA a une restriction : il n’y a pas de variable cachée, ainsi toutes les valeurs de données prises par les variables sont visibles dans l’entrée. Pourtant dans le modèle FOADA, les arguments d’un atome de prédicat tracent les valeurs des variables internes associées à l’état, et ces valeurs sont invisibles dans la séquence d’entrée, ce qui surmonte la restriction du modèle ADA.Avec ces deux modèles en alternance, les opérations booléennes d’union, d’intersection et de complément peuvent être effectuées en temps linéaire, ce qui correspond à la complexité de l’exécution de ces opérations dans le cas d’un alphabet fini. Cependant, le prix à payer ici est que la vérification du vide devient indécidable. Pour ceci, nous fournissons deux semi-algorithmes efficaces pour la vérification du vide : (i) abstraction de prédicats paresseux et (ii) méthode IMPACT. S’il existe un mot du langage de l’automate donné, il est prouvé que ces semi-algorithmes se terminent en le retournant; mais si la langue de l’automate donné est vide, la terminaison n’est pas garantie.La principale application de nos modèles est de vérifier l’inclusion entre différentes classes d’automates étendues avec des variables allant de domaines infinis reconnaissant les langues à des alphabets infinis. Les plus connues de ce genre de classes sont les automates temporisés et les automates à mémoire finie (registre). Une autre application est de vérifier les propriétés de sécurité (exclusion mutuelle, absence de blocages, etc.) et de vitalité (résiliation, absence de famine, etc.) des programmes concurrents paramétrés.Outre les parties théoriques, nous avons également développé un outil - FOADA Checker, en général à l’usage de la vérification de l’inclusion entre deux automates ou de la vérification du vide d’un automate. FOADA Checker est écrit en Java, via l’interface Java-SMT et en utilisant le solveur Z3 SMT [53] pour les parasites, les requêtes de couverture et la génération d’interpolation. Le semi-algorithme IMPACT a été implémenté dans l’outil pour vérifier le vide d’un automate.

The language inclusion problem is recognised as being central to verification in different domains, such as hardware, communication protocols, software systems, etc. There we might face two challenges: non-determinism and infinite alphabets.We propose two models of alternating automata over infinite alphabets: (i) alternating data automata (ADA) and (ii) first-order alternating data automata (FOADA). They both recognise the data words over infinite alphabets. In ADA model, the control states are Booleans and the transition rules are specified by a set of formulae in a combined first-order theory of states (Booleans) and data that relate past values of variables with current values of variables. But a restriction of the ADA model is that, there is not hidden variable, hence all the data values taken by the variables are visible in the input. But in FOADA model, the arguments of a predicate atom track the values of the internal variables associated with the state, and these values are invisible in the input sequence, which overcomes the restriction of the ADA model.With these two alternating models, Boolean operations of union, intersection and complement can be done in linear time, thus matching the complexity of performing these operations in the finite-alphabet case. However, the price to be paid here is that the emptiness checking becomes undecidable. For this reason, we provide two efficient semi-algorithms for emptiness checking: (i) lazy predicate abstraction and (ii) IMPACT method. These semi-algorithms are proven to terminate by returning a word from the language of the given automaton if one exists; but if the language of the given automaton is empty, then the termination is not guaranteed.The main application of our models is checking inclusions between various classes of automata extended with variables ranging over infinite domains that recognise languages over infinite alphabets. The most widely known classes of this kind are timed automata and finite- memory (register) automata. Another application is checking safety (mutual exclusion, absence of deadlocks, etc.) and liveness (termination, lack of starvation, etc.) properties of parameterised concurrent programs.Besides the theoretical parts, we also have developed a tool - FOADA Checker, mainly used for checking inclusion between two automata or checking emptiness of an automaton. FOADA Checker is written in Java, via Java-SMT interface and using Z3 SMT solver for spuriousness, coverage queries and interpolant generation. The IMPACT semi-algorithm has been implemented in the tool to check the emptiness of an automaton., Le problème de l’inclusion linguistique est reconnu comme étant au cœur de la vérification dans différents domaines, tels que le matériel, les protocoles de communication, les systèmes logiciels, etc. Nous pouvons être confrontés à deux défis: le non-déterminisme et les alphabets infinis.Nous proposons deux modèles d’automates alternatifs sur des alphabets infinis : (i) les automates alternatifs de données (ADA) et (ii) les automates alternatifs de données du premier ordre (FOADA). Ils reconnaissent tous deux les mots de données sur des alphabets infinis. Dans le modèle ADA, les états de contrôle sont des booléens et les règles de transition sont spécifiées par un ensemble de formules combinées dans une théorie des états du premier ordre (booléens) et des données associant les valeurs passées des variables aux valeurs actuelles des variables. Mais le modèle ADA a une restriction : il n’y a pas de variable cachée, ainsi toutes les valeurs de données prises par les variables sont visibles dans l’entrée. Pourtant dans le modèle FOADA, les arguments d’un atome de prédicat tracent les valeurs des variables internes associées à l’état, et ces valeurs sont invisibles dans la séquence d’entrée, ce qui surmonte la restriction du modèle ADA.Avec ces deux modèles en alternance, les opérations booléennes d’union, d’intersection et de complément peuvent être effectuées en temps linéaire, ce qui correspond à la complexité de l’exécution de ces opérations dans le cas d’un alphabet fini. Cependant, le prix à payer ici est que la vérification du vide devient indécidable. Pour ceci, nous fournissons deux semi-algorithmes efficaces pour la vérification du vide : (i) abstraction de prédicats paresseux et (ii) méthode IMPACT. S’il existe un mot du langage de l’automate donné, il est prouvé que ces semi- algorithmes se terminent en le retournant; mais si la langue de l’automate donné est vide, la terminaison n’est pas garantie.La principale application de nos modèles est de vérifier l’inclusion entre différentes classes d’automates étendues avec des variables allant de domaines infinis reconnaissant les langues à des alphabets infinis. Les plus connues de ce genre de classes sont les automates temporisés et les automates à mémoire finie (registre). Une autre application est de vérifier les propriétés de sécurité (exclusion mutuelle, absence de blocages, etc.) et de vitalité (résiliation, absence de famine, etc.) des programmes concurrents paramétrés.Outre les parties théoriques, nous avons également développé un outil - FOADA Checker, en général à l’usage de la vérification de l’inclusion entre deux automates ou de la vérification du vide d’un automate. FOADA Checker est écrit en Java, via l’interface Java-SMT et en utilisant le solveur Z3 SMT pour les parasites, les requêtes de couverture et la génération d’interpolation. Le semi-algorithme IMPACT a été implémenté dans l’outil pour vérifier le vide d’un automate.

Mit einer funktionalistischen Vision des Bildungssystems hat das Ministerium für nationale Bildung in Algerien immer berücksichtigt, dass die Organe, Behörden und Akteure vor Ort, die theoretisch durch dieselben Motivationen und Ziele motiviert sind, keine andere Wahl haben, als sich zu bewerben Bildungsreformen alle exogen und von oben eingeführt. Darüber hinaus wurden in einem politischen und einheitlichen Projekt des Staates die Bildungsvielfalt sowie die kulturellen und sprachlichen Besonderheiten von Lehrern und Nutzern als Hindernis für die Gründung einer "nationalen Kultur" wahrgenommen und offiziell dargestellt "Von einer" nationalen Pädagogik ", einer nationalen Geschichte und schließlich einer Ideologie, die rational und wissenschaftlich sein will. Dies bedeutet, dass die Bedingungen für das Scheitern der Reformen, insbesondere die Nichtteilnahme von Lehrkräften und die Entfernung von Einrichtungen von den Entscheidungsorten, in Algerien seit mehreren Jahren regelmäßig erfüllt waren. Dann stellen sich einige Fragen: Wie kann die pädagogische Innovation unter den Lehrern gefördert werden? Wie kann eine bessere Verbreitung der Ergebnisse der Bildungsforschung sichergestellt werden? Und schließlich, wie man die lokalen Sprachen und Kulturen erzieht, deren Träger die Kinder sind? Um diese Frage zu beantworten, stellen wir eine Aktionsforschung auf den Prüfstand, um Lehrer auszubilden, indem wir Wissen produzieren, um die Forschungsarbeit zur interkulturellen Bildung im Rahmen einer plurikulturellen Schule in Algerien zu unterstützen (vgl. Ghouati, 2000)., With a functionalist vision of the education system, the legislator in Algeria has always considered that the bodies, authorities and actors in the field, theoretically driven by the same motivations and objectives, have no choice but to implement educational reforms and introduced from the top. In addition, in a political and unitary project of the State, the educational diversity and the cultural and linguistic particularities of both teachers and users were (are) perceived and formally presented as an obstacle to the foundation of a "national culture "A" national pedagogy ", a national history and, finally, an ideology that aims to be rational and scientific. This means that the conditions for failure of the reforms, in particular the non-participation of the teachers and the remoteness of the establishments of the places of the decision, had been regularly gathered for several years in Algeria., Avec une vision fonctionnaliste du système éducatif, le ministère de l'éducation nationale en Algérie a toujours considéré que les organes, instances et acteurs de terrain, mus théoriquement par les mêmes motivations et objectifs, n'ont d'autres choix que d'appliquer des réformes éducatives toutes exogènes et introduites par le haut. En outre, dans un projet politique et unitaire de l'État, la diversité pédagogique et les particularismes culturels et linguistiques aussi bien des enseignants que des usagers étaient (sont) perçus et présentés officiellement comme un obstacle pour la fondation d'une « culture nationale », d'une « pédagogie nationale », une histoire nationale et, enfin, une idéologie qui se veut rationnelle et scientifique. C'est dire que les conditions d'échec des réformes, notamment la non-participation des enseignants et l'éloignement des établissements des lieux de la décision, étaient régulièrement réunies depuis plusieurs années en Algérie. Se pose alors quelques questions : comment susciter l'innovation pédagogique chez des enseignants ? Comment assurer une meilleure diffusion des résultats de la recherche en éducation ? Et enfin comment scolariser les langues et cultures locales dont les enfants sont les porteurs ? Pour y répondre, nous soumettons à l'épreuve des faits une recherche-action visant une formation des enseignants par production de savoirs pour appuyer un travail de recherche sur une éducation interculturelle dans le cadre d'une école pluriculturelle en Algérie (Cf. Ghouati, 2000).

The purpose of this study is to identify all the linguistic and extralinguistic facts that favor the code-switching wolof-arabic in Senegal. Being at the origin of the borrowing and code-switching, the contact of languages has always favored bilingualism in a given geographical area. The encounter of different languages and cultures has never been the product of chance ; it is the result of different historical phenomenon. In Senegal, the contact of wolof and arabic stems from the expansion of Islam. This is the story that we have approched before the third chapter of this work, the purpose of which is to show that, in Senegal, there are speakers who proceed to the alternation of linguistic codes (wolof and arabic) in there speeches. The desire to demonstrate the existence of this sociolinguistic phenomenon led us to carry out fieldwork through surveys and recordings of Senegalese speakers. The set of recorded discourses has led us to discover that multilingualism in Senegal is a factor that allows certain privileged individuals to carry out intelligently the code-switching wolof-arabic whose modes we have linguistically described and analyzed the processes. They alternate wolof and arabic in the same enunciation for several reasons that we have listed; according to the interlocutors or the public to whom their speeches are intended.; L’objet de cette étude est de cerner l’ensemble des faits linguistiques et extralinguistiques qui favorisent l’alternance codique wolof-arabe au Sénégal. Étant à l’origine de l’emprunt et de l’alternance codique, le contact des langues a toujours favorisé le bilinguisme ou le plurilinguisme dans une zone géographique donnée. La rencontre de langues et de cultures différentes n’a jamais été le produit du hasard ; elle est le fruit de différents phénomènes historiques. Au Sénégal, le contact du wolof et de l’arabe découle de l’expansion de l’Islam. C’est l’historique que nous abordons avant le troisième chapitre de ce travail dont le but est de montrer, par la suite, qu’au Sénégal, il y a des locuteurs wolophones qui procèdent à l’alternance des codes linguistiques (wolof-arabe) dans leurs discours. Le souci de démontrer l’existence de ce phénomène sociolinguistique, nous a conduit à effectuer un travail de terrain à travers des enquêtes et des enregistrements de locuteurs sénégalais. L’ensemble des discours enregistrés nous a amené à découvrir que le plurilinguisme au Sénégal est un facteur qui permet à certains individus privilégiés, de procéder intelligemment à l’alternance codique wolof-arabe dont nous avons linguistiquement décrit les modes et analysé les procédés. Ils alternent le wolof et l’arabe dans un même énoncé pour plusieurs raisons que nous avons répertoriées; en fonction des interlocuteurs ou du public auquel leurs discours sont destinés.

At present cases Burkinabè, Beninese and Senegalese, we propose to analyze the constitutional and electoral rules that determine the mode of accession and the exercise of state power. It raises the question of the role of these rules and these institutions in the avenue of the democratic alternation and that of the social environment and the policy of the audit and the authority of the constitutional judges in its advent or his questioning on the other hand. The United States has, in fact, opposed standards and institutions. They have been authenticated by democratic electoral institutions. This is a new time of a new constitution, is this is a self-review, as to it, as work of the building of the edition of 1990, as-it-it-it be carriers of institutions able to promote the occurrence of democratic alternation. As we can see, the constitutional order is today constantly paraded. The constitutional impulse that has propelled states towards the path of constitutional democracy has halted or slowed down in many states in favor of a pregnant presidentialism, but it is also observed that 'democratic alternation has been experienced, democratic conquests have not have not been followed by the satisfaction of the social demands that have yet been inspired. The Thesis, while finger-pointing on the flaws of normal and institutional, so that the manipulations are directed towards norms, also insists on the figure of the constitutional judge.; A partir des cas burkinabè, béninois et sénégalais, la présente Thèse se propose d‟analyser les règles constitutionnelles et électorales qui déterminent le mode d‟accession et d‟exercice du pouvoir d‟Etat. Elle pose la question du rôle de ces règles et des institutions dans la survenue de l‟alternance démocratique d‟une part et de celui de l‟environnement social et politique de même que de l‟audace et de l‟autorité des juges constitutionnels dans son avènement ou dans sa remise en cause d‟autre part. Les Etats africains se sont, en effet, dotés de mécanismes normatifs et institutionnels permettant la tenue régulière d‟élections démocratiques sous la conduite d‟institutions électorales indépendantes chargées de garantir des changements véritablement démocratiques de gouvernement.Cependant, au regard de l‟actualité politique ambiante marquée par un reflux du nouveau constitutionnalisme lequel est caractérisé par une remise en cause de l‟édifice institutionnel issu de la vague de démocratisation des années 1990, on peut se demander si les principes consacrés dans les nouvelles constitutions peuvent être des facteurs de réalisation de l‟alternance démocratique. Comme on le voit, l‟ordre constitutionnel est aujourd‟hui constamment rompu soit par des révisions constitutionnelles, soit par des coups d‟Etat, soit encore par des accords politiques qui ont la particularité de participer à un processus de « déconstitutionnalisation ».Non seulement l‟élan constitutionnel qui devait propulser les Etats sur la voie de la démocratie constitutionnelle a été stoppé ou ralenti au profit d‟un présidentialisme prégnant, mais également l‟on observe que même là où l‟expérience de l‟alternance démocratique a été vécue, les conquêtes démocratiques n‟ont pas été suivies de la satisfaction de la demande sociale qui, pourtant, a généralement inspiré les réformes. La Thèse, tout en mettant le doigt sur les failles des dispositifs normatifs et politico-institutionnels mis en place, comme étant des facteurs favorisant les manipulations dévoyées des normes, insiste aussi sur la figure du juge constitutionnel marquée par sa faible contribution à la consolidation de la démocratisation.

The percentage of disabled persons pursuing their studies up to an engineering level degree is very low in France. At the same time, companies perceive a shortage of computer engineers. In order to fill this injustice and this economic need, Aix-Marseille University and a collective including big companies have joined forces to create an engineering training dedicated to disabled persons. The implementation and management of such training is complex because, on the one hand, the number of actors involved in the project is large and, on the other hand, some actors have to learn to work together. The objective of this article is to formulate a number of recommendations and pitfalls to avoid in order to facilitate, at the pedagogical level, the implementation of similar trainings. The main aim is to enable students to give their best and prevent dropouts. This article also contains a brief feedback on the HUGo training.; Le pourcentage de personnes en situation de handicap poursuivant leurs études jusqu'à un diplôme de niveau I est très faible en France. Parallèlement, les entreprises perçoivent un manque d'ingénieurs informaticiens. Afin de combler cette injustice et ce besoin économique, l'Université d'Aix-Marseille et un collectif comprenant de grandes entreprises se sont associés pour créer une formation d'ingénieurs dédiée aux personnes en situation de handicap. La mise en place et la gestion d'une telle formation sont complexes car d'une part, le nombre d'acteurs impliqués dans le projet est important et d'autre part, certains acteurs doivent apprendre à travailler ensemble. L'objectif de cet article est de formuler un certain nombre de recommandations et de pièges à éviter afin de faciliter, au niveau pédagogique, la mise en place de formations similaires. Il s'agit principalement de permettre aux élèves de tirer le meilleur d'eux mêmes et de prévenir les abandons. Cet article contient également un retour d'expérience succinct concernant la formation HUGo.

Arrivé au pouvoir en mai 1997, le jeune et populaire leader du parti travailliste, Tony Blair, semblait être bien placé pour mettre en application son programme électoral qui, sur certains points, était aussi radical que celui de son illustre prédécesseur de 1945 ou celui qui a amené Margaret Thatcher au 10 Downing Street en 1979. Quatre années plus tard partisans et adversaires du New Labour ne s’accordent guère quant au bilan à dresser. Pour les désabusés du blairisme le discours prometteur des premiers mois n’a pas été accompagné de faits, et la communication a primé sur le contenu. De ce point de vue Tony Blair, souvent présenté comme le digne héritier de la Dame de Fer, s’inscrit dans la lignée des néo-libéraux des années 1980. Pour d’autres, les réformes fondamentales mises en place depuis 1997, particulièrement celle des institutions, constituent une véritable coupure avec le passé. Ils y voient une révolution, attendue depuis trop longtemps, dans la vie politique, sociale et économique du pays. Certains, au contraire, déplorent un retour en arrière qui met en danger les acquis de l’époque thatchérienne et qui risque même l’éclatement du Royaume-Uni. Pragmatisme et prudence électoraliste ou réformes ambitieuses, alternance ou continuité par rapport aux gouvernements précédents, les conclusions tirées des quatre premières années du gouvernement New Labour continuent de diverger. Si le bilan définitif n’est toujours pas facile à établir au moment où Tony Blair arrive au terme de son premier mandat, ce débat est plus que jamais passionnant.

En France, on considère que le nucléaire britannique n’est qu'un prolongement du combinat états-unien. On peut aisément expliquer une telle conception par le fait que la culture nucléaire française est basée sur l’équivalence entre souveraineté nationale et force de dissuasion. Dans une telle conception, le territoire national et ses dépendances se trouvent sanctuarisés et l’Etat, grâce à une force de frappe autochtone, affirme son indépendance dans l’ordre international sans autre limitation...

Le New Labour dans l’opposition avait affiché son ambition de avec la de John Major, accusé rompre politique européenne d’avoir marginalisé le pays au sein de l’Union Européenne et d’avoir cédé aux eurosceptiques de son parti, Il est vrai que malgré sa victoire inattendue aux élections de 1992, le Premier ministre conservateur avait été incapable d’imposer son autorité sur un parti divisé, notamment sur la question européenne. La faible majorité dont il disposait au Parlement (21 voix en 1992...

Les gouvernements ne doivent pas plus essayer de diriger les entreprises ou d’anticiper les décisions commerciales qu’adopter le laissez-faire en se disant que les marchés ont toujours raison.Programme électoral travailliste de 1997(New Life for Britain) La déclaration présentée en exergue illustre l'approche idéologique des travaillistes nouveaux : une définition en creux des principes fondamentaux de la politique économique et sociale du parti. De 1979 à 1997 les Conservateurs au pouvoir on...

En matière d’éducation, les nouveaux travaillistes placent parfois leur arrivée au en 1997 sous le d’une pouvoir signe rupture franche avec les politiques menées par leurs prédécesseurs Conservateurs. Les dix-huit années d’hégémonie conservatrice sont alors souvent stigmatisées comme responsables de tous les échecs du système éducatif, Il faut dire que Tony Blair et ses collaborateurs sont d’évidence, de toutes les équipes assemblées par les Travaillistes durant leur long purgatoire, les plus...

Les analyses proposées dans cet ouvrage indiquent clairement que ce qui semble caractériser l’approche du gouvernement travailliste dans les différents domaines c’est avant tout sa très étudiés, grande prudence. L’action du New Labour se place clairement dans une perspective électoraliste, ce qui signifie qu’il y a certains risques qu’ils ne sont pas prêts à prendre. D’abord, le risque de perdre le soutien électoral des classes moyennes, ou Middle England, qui a été décisif en 1997 mais dont ...

Les réformes institutionnelles introduites par les nouveaux travaillistes ont été décrites tantôt comme « de plus grand programme de réforme institutionnelle que le Royaume-Uni ait jamais connu » tantôt comme « la transformation la plus ambitieuse et radicale des institutions britanniques entreprise par un quelconque gouvernement au vingtième siècle ». Quels que soient les superlatifs utilisés, la plupart des commentateurs s’accordent à dire que le premier mandat du gouvernement Blair constit...

En Angleterre et au Pays de Galles le taux des infractions enregistré a été multiplié par dix entre 1950 et 1997 et certains délits spécifiques, comme les vols de voitures, ont été multipliés par trente sur la même période. C’est dans ce contexte social de hausse globale de la criminalité et surtout de l’accroissement du sentiment d’insécurité qu’il faut tenter d’expliquer les politiques et les pratiques du maintien de l’ordre des gouvernements successifs. Le discours sur l’ordre public est d...