En 1919, une convention franco-polonaise qui vise à favoriser l'envoi de travailleurs polonais en France est signée. Dans ce texte, rien n’était indiqué sur la scolarisation des enfants polonais des ouvriers et parents. Or, ces derniers demandaient des ouvertures de cours en langue polonaise auprès de leurs employeurs pour leurs enfants. L'idée du provisoire et l’espoir d’un proche retour au pays régnait alors dans tous les esprits. Dès le début des années 1920 et face à cet impensé de la question scolaire, les autorités françaises devaient faire face à des mises en place de cours polonais, entre autre sous l’égide des compagnies minières. L'État polonais, de son côté, se penchait aussi sur cette question et en 1924, la question de l'ouverture de cours de langue et culture polonaise pour les enfants d'immigrés était évoquée lors de la Conférence franco polonaise qui se tenait à Paris. Les autorités françaises refusaient à ce moment de légiférer et d’institutionnaliser ces enseignements. Mais pour ne pas heurter cet important partenaire polonais, le Comité central des houillères françaises, par l'intermédiaire d'Henri de Peyerimhoff, rédigeait une lettre où il invitait les employeurs à mettre en œuvre ce type de leçon selon deux façons : dans des écoles privées comme dans les écoles publiques. Suite à cela, entre 1925 et 1939, cinq circulaires étaient publiées par le Ministère français de l’instruction publique pour affirmer et préciser les principes réglementant ces cours pour enfants étrangers, immigrés ou d’ascendants immigrés. L'étude des communautés polonaises installées dans les espaces industriels et paternalistes basés près de Caen (département du Calvados) SMN-SMS (Société métallurgique de Normandie - Société des Mines de Soumont) et des classes de polonais qui étaient instituées nous permet de répondre à plusieurs interrogations. Nous pouvons ainsi nous demander, dans un premier temps, en quoi consistaient ces classes pour enfants étrangers (contexte, organisation, financement) mais surtout en quoi ces classes/structures scolaires s'inscrivaient contre une volonté d'intégration. Il est aussi pertinent de s’intéresser aux relations entre les différents acteurs. Autorités françaises et polonaises, mineurs, direction de la mine, C.C.H.F et à travers cela dégager la place, le rôle du moniteur dans une communauté polonaise en France. / In 1919, a Franco-Polish convention aiming to encourage the dispatch of Polish workers to France was signed. In this text, nothing was mentioned as to how the Polish children of work-ers and parents were to be educated, yet the latter were asking their employers that classes be opened and held in Polish for their children. The idea that this was temporary and the hope of soon returning to their homeland then prevailed in all minds. As from the early 1920s, and facing this unconsidered educational issue, French authorities had to contend with the setting up of Polish classes, among other things under the aegis of the mining companies. The Polish State, on its part, was also looking into the situation, and, in 1924, the issue of opening Polish language and culture classes for immigrant children was raised during the Franco-Polish Con-ference that was being held in Paris. At this point in time, French authorities were refusing to legislate and institutionalise these courses. But to not upset this major Polish partner, the Central Committee of French Coal Mines, through the intermediary of Henri de Peyerimhoff, drew up a letter in which it encour-aged employers to implement this type of lesson in two ways: in private schools as in state schools. Further to this, between 1925 and 1939, five circulars were published by the French Ministry of Public Instruction to assert and specify which principles were to regulate these lessons held for foreign children, be they immigrants or born to immigrant ancestors. Studying the Polish communities who settled in the industrial and paternalistic areas based near Caen (in the Calvados department), the SMN-SMS (Metallurgical Society of Normandy – “Société des Mines de Soumont”) and the Polish classes that were instituted enables us to answer several questions. We can thus wonder, initially, what these classes for foreign chil-dren consisted in (context, organisation, funding), but most of all how these classes/school structures went against a desire to integrate. Taking an interest in the relationships the various stakeholders had with one another is also relevant. The French and Polish authorities, miners, the mining board and C.C.F.C.M. (C.C.H.F in French), and through this establish the place, the role an instructor had in a Polish community in France.

Les E.N.S.E.P.S. et l'I.N.S., écoles de formation des cadres de l'éducation physique et du sport ont des destins parallèles, complémentaires et parfois opposés. Ces relations complexes trouvent leur origine dans les missions assignées : formation des professeurs d'E.P.S. pour l'E.N.S.E.P.S., formation des moniteurs d'E.P.S. et des sportifs pour l'I.N.S.. Les rapports qu'entretiennent ces différents centres de formation sont fortement marqués par les transformations de l'éducation physique et sportive. Ils sont révélateurs des jeux et enjeux de pouvoir entre l'administration, les acteurs de l'éducation physique et du sport et les groupes de pression lorsqu'il s'agit de délimiter le champ de l'éducation physique par rapport au sport et de définir un cursus de formation universitaire et de recherche. Cette étude comparée met en avant le pragmatisme de l'Etat en matière d'organisation des formations en éducation physique et en sport.

L’Artériopathie Oblitérante des Membres Inférieurs (AOMI) est une pathologie chronique grave, induite par le processus physiopathologique d’athérosclérose. Diagnostiquée par la mesure de l’Index de Pression Systolique (IPS) de repos cette pathologie se traduit chez la plupart des patients par une ischémie (apports sanguins insuffisants) à l’exercice pouvant causer l’apparition de douleurs au niveau des membres inférieurs lors de la marche. Le premier axe de travail de cette thèse visait à évaluer la pertinence pédagogique des méthodes actuelles d’enseignement de l’IPS dans les facultés de médecine françaises. Les résultats des premiers travaux de recherche qui ont été menés montrent que les méthodes actuelles ne permettent pas aux étudiants de maîtriser les fondamentaux de cette mesure diagnostique. D’autres travaux ont alors été menés afin de définir la place et la forme que devrait prendre l’enseignement de l’IPS dans le cursus médical afin qu’il puisse être acquis par les futurs médecins de manière fiable et durable. Le second axe de travail de cette thèse visait à proposer une nouvelle approche méthodologique basée sur l’utilisation conjointe de deux moniteurs portables (accéléromètre et montre marqueur d’événements) permettant la quantification des douleurs ischémiques à l’exercice des patients atteints d’AOMI en condition de vie réelle. Les résultats issus de ces travaux ouvrent des perspectives nouvelles pour le chercheur ou le clinicien pour la compréhension des limitations fonctionnelles des patients atteints d’AOMI dans leur contexte de vie. / Lower-extremity Peripheral Artery Disease (PAD) is a severe non-communicable disease that is associated with atherosclerosis. Diagnosed by Ankle- Brachial Index (ABI), PAD leads, in most patients, to ischemia (mismatch between blood demand and blood supply) during exercise that may lead to the occurrence of pain in the lower extremities during walking. The first axis of the present thesis was to assess the level of knowledge on this diagnostic tool among French medical students. Our results suggest that the way of teaching or learning the ABI procedure is deficient. According to these results we conducted another study to determine the best teaching method to improve students’ ABI proficiency. The second axis of the present thesis was to proposed a new method using wearable monitors (accelerometer and Micro Motion logger watch) to objectively identify and quantify lower limb walking pain manifestation as well as stop induced by walking pain during daily life in PAD patients. Our results can provide researchers and clinicians with a more realistic and holistic view of the functional limitations of PAD patients in free-living conditions.

La vérification à base de propriétés (PBV) est devenue un élément essentiel des flots de conception pour supporter la vérification de circuits complexes. Pour de tels composants où les techniques de vérification formelle ne peuvent s'appliquer, la vérification dynamique à base de propriétés connecte au circuit des moniteurs et des générateurs de test synthétisés à partir de propriétés pour construire de manière simple un environnement de test. Durant cette thèse une partie des travaux à consisté à développer une approche de synthèse de propriétés pour la génération de vecteurs de test. Dans ce contexte, les propriétés décrivent l'environnement du circuit sous test. Elles sont synthétisées en générateurs produisant des séquences de test respectant la propriété correspondante. Il est alors possible de spécifier et d'obtenir un modèle pour tout l'environnement du circuit. Alors que notre approche est modulaire, une méthode à base d'automates a été développée en collaboration avec l'université de McGill. La contribution la plus intéressante de cette thèse tiens dans la méthode qui a été mise en place pour synthétiser une spécification temporelle en un circuit correct par construction. Alors que les approches de l'état de l'art ont une complexité polynomiale, la nôtre est linéaire en la spécification. L'outil SyntHorus a été développé pour supporter cette méthode et synthétise en quelques secondes un circuit correct par construction à partir d'une spécification de plusieurs centaines de propriétés. La correction des générateurs et de la méthode de synthèse a été effectuée à l'aide du prouveur de théorème PVS. Les méthodes et outils développés durant cette thèse ont été validés, renforcés et transférés dans l'industrie grâce à plusieurs coopérations (Thalès Group, Dolphin Integration et ST-Microelectronics) et au projet ANR SFINCS.

L'énergie stockée dans le Large Hadron Collider est sans précédent. La perte des particules du faisceau peut endommager gravement les aimants supraconducteurs, ayant pour résultat des temps significatifs d'arrêt pour la réparation. Le système des moniteurs de pertes du faisceau (en anglais: BLMS) détecte les gerbes de particules secondaires créées par les pertes faisceau et provoque l'extraction du faisceau avant que des dommages sérieux de l'équipement ne puissent se produire. Cette thèse définit les caractéristiques du BLMS en termes de la fiabilité. Le but principal est la conception d'un système réduisant au minimum soit la probabilité de ne pas détecter une perte dangereuse, soit le nombre de fausses alarmes produites. La théorie et les techniques de fiabilité utilisées sont décrites. La Prédiction de fiabilité, Analyse des Modes de Défaillance de leurs Effets et de leur Criticité (en anglais: FMECA), et l'Analyse par Arbre de Défaillance ont été employées pour fournir une évaluation de la probabilité d'endommager un aimant, du nombre de fausses alarmes et du nombre d'avertissements produits. Les composants les plus faibles dans le BLMS ont été précisés. Les chiffres de fiabilité du BLMS ont été calculés en utilisant un logiciel commercial (IsographTM). L'effet de la variation des paramètres sur les résultats obtenus a été évalué avec une Analyse de Sensibilité. Le modèle de fiabilité a été complété par les résultats des tests d'irradiation. Des améliorations de la conception du système, comme la transmission optique redondante, ont été mises en application grâce à un processus itératif. Le système proposé est conforme aux requêtes de fiabilité. Les incertitudes du modèle proviennent de la connaissance limitée des niveaux de seuils des aimants supraconducteurs et de la localisation des pertes autour de l'anneau. Le modèle mis en œuvre permet des modifications du système, suivant la mesure des taux de risque pendant la durée de vie du LHC. Il peut également fournir des valeurs de référence à d'autres accélérateurs qui mettront en application des technologies semblables.

Avec l'avènement des systèmes intégrés complexes, la vérification par assertions(Assertion Based Verification ou ABV) s'est imposée comme une solution pour la vérification semi-formelle des circuits. L'ABV permet de valider qu'un circuit satisfait ou non une propriété(ou assertion). Des travaux antérieurs ont montré qu'il était possible de synthétiser ces propriétés sous la forme de moniteurs matériels. Ces derniers peuvent ainsi être embarqués à demeure sur un circuit afin qu'ils assurent une tâche de monitoring. Avec un objectif de surveillance et de sûreté, l'utilisation de tels moniteurs est un plus. Néanmoins, ces derniers sont aussi sensibles que les circuits surveillés à une dégradation environnementale(tension, température, vieillissement, ...). Afin de réduire le risque de dysfonctionnement des moniteurs, initialement conçus comme des circuits synchrones, une variante asynchrone(quasi-insensible aux délais) est proposée dans cette thèse. Ces travaux s'inscrivent dans le cadre du projet ANR SFINCS(Thalès, Dolphin Integration, TIMA) et ont mené à la définition d'une méthode de synthèse de moniteurs asynchrones matériels tirant parti de la robustesse et de la modularité des implémentations asynchrones. Les études menées se focalisent en premier lieu sur la conception d'une bibliothèque de moniteurs élémentaires asynchrones et sur une méthode d'interconnexion ad hoc permettant de constituer des moniteurs complexes. Afin de garantir les bonnes propriétés de robustesse de ces moniteurs, une étude a été menée à l'aide de l'outil de vérification formelle RAT. Il a notamment été prouvé que la connexion d'un moniteur asynchrone avec un circuit synchrone(à surveiller) était un point particulièrement délicat car les hypothèses du circuit synchrone contraignent le moniteur asynchrone. Il a donc été proposé d'introduire un dispositif de contrôle de l'horloge du circuit synchrone, appelé " clock stretching ", afin de relaxer les hypothèses temporelles synchrones qui sont appliquées à la partie asynchrone.

L’Artériopathie Oblitérante des Membres Inférieurs (AOMI) est une maladie chronique grave, associée au processus d’athérosclérose, et qui se traduit chez la plupart des patients par une ischémie (apports sanguins insuffisants) à l’exercice.L’ischémie d’exercice peut causer l’apparition de douleurs au niveau des membres inférieurs lors de la marche, limitant de fait la capacité de marche des patients. L’évaluation de la capacité de marche occupe une place importante dans la prise en charge des patients. Grâce au développement de moniteurs d’activité tels que le géo-positionnement par satellites (GPS), cette évaluation peut être conduite en situation écologique de marche via des mesures réalisées en extérieur. Ces mesures GPS ont notamment permis de mettre en évidence une variabilité de la capacité de marche avec une influence probable de la durée de récupération entre deux marches symptômes-limitées. Ceci reste cependant à démontrer expérimentalement. Par ailleurs, méthodologiquement, il est nécessaire de pouvoir standardiser et exprimer de façon plusadéquate les données GPS obtenues afin de juger de la capacité de marche des patients. L’objet du présent travail de thèse était par conséquent double : i) valider une méthodologie pour estimer la dépense énergétique (DE) associée à la marche en extérieur chez le sujet sain et qui serait à terme applicable chez les patients avec AOMI pour pouvoir comparer les résultats de capacité de marche obtenus par mesure GPS ; ii) déterminer dans quelle mesure la durée de récupération suite à une marche symptômes-limitée influence la capacité de marche des patients lors de la marche subséquente. Les résultats des travaux de recherche qui ont été menés dans le cadre de cette thèse montrent que le GPS permet une estimation relativement précise de la DE en extérieur chez le sujet sain en conditions de vitesse et de pente variées. De plus, nos résultats mettent en évidence que la durée de récupération faisant suite à une marche symptômes-limitée influence clairement la capacité de marche des patients. La nature logarithmique de la relation permet d’envisager àmoyen terme l’identification d’une durée minimale de récupération à partir de laquelle les patients pourraient maximiser leur capacité de marche. Des perspectives intéressantes pourraient alors être envisagées dans le réentraînement à l’effort des patients et/ou pour les aider à mieux gérer leurs douleurs au quotidien. / Lower-extremity peripheral artery disease (PAD) is a non-communicable disease that is associated with atherosclerosis and that leads, in most patients, to ischemia (mismatch between blood demand and blood supply) during exercise. Exercise-induced ischemia may lead to the occurrence of pain in the lower extremities during walking, thus limitingwalking capacity. Assessing walking capacity is an important step in the management of PAD patients. Thanks to the development of activity monitors such as global positioning system (GPS), it is possible to assess walking capacity under real-life conditions with measurements performed in outdoor settings. These GPS measurements have highlighted thefact that walking capacity seems variable and is likely to be influenced by the recovery duration between two symptoms-limited walks. However, this remains to be demonstrated in standardized conditions. Moreover, methodological advances are needed to standardize and express more adequately GPS data in order to better interpret walking capacity measurements. Therefore, the aim of the present thesis was two-fold: i) to validate a method for estimating walking energy expenditure (EE) in healthy subjects in outdoor setting, and that could be used in the future in PAD patients in order to compare walking capacity results obtained in outdoor setting; ii) to determine to which extent the duration of the recovery period that follows a first symptom-limited walk influences walking capacity measured during the subsequent walk in PADpatients. Our results show that GPS allows accurate estimations of walking EE in healthy subjects in outdoor setting and with various conditions of speed and grade. Moreover, our results clearly show that recovery duration influences walking capacity in PAD patients. The logarithmic shape of the relationship supports further analyses to determine a minimum recovery duration that could maximize patients walking capacity. This could have interesting implications for the development of new exercise walking programs in PAD and/or to help patients to better manage their pain during daily life.

Dans la chaine de développement des circuits, une attention particulière doit être portée sur le comportement en fiabilité des dispositifs MOS comme briques de base des circuits avancés CMOS lors du développement d’une technologie. Au niveau du dispositif, les comportements des différents mécanismes de dégradation sont caractérisés. A l’opposé dans le prototype final, le produit est caractérisé dans des conditions accélérées de vieillissement, mais seuls des paramètres macroscopiques peuvent être extraits. Un des objectifs de cette thèse a été de faire le lien entre le comportement en fiabilité d’un circuit ou système et ses briques élémentaires. Le second point important a consisté à développer des solutions de tests dites ‘intelligentes’ afin d’améliorer la testabilité et le gain de place des structures, pour mettre en évidence le suivi du vieillissement des circuits et la compensation des dégradations. Une autre famille de solutions a consisté à reproduire directement dans la structure l’excitation ou la configuration réelle vue par les dispositifs ou circuits élémentaires lors de leur vie d’utilisation (lab in situ). / In the circuit development, specific attention must be paid to the MOS device reliability as a building block as well as a prototype reference circuit (CMOS) during the technology development. At device level, the different degradation mechanisms are characterized. In the final prototype, the product is characterized in accelerated aging conditions, but only the macroscopic parameters can be extracted. One objective of this thesis has been to link the circuit or system reliability and its building blocks. Also, the second important point has consisted in the development of 'smart' test solutions to improve testability and gain up structures so as to highlight the circuits aging monitoring and degradation compensation. Another family of ‘smart’ solutions has involved reproducing directly in the structure the excitement or the actual configuration as it is seen by elementary circuits or devices during their usage life (lab in situ).

Avec l'avènement des systèmes intégrés complexes, la vérification par assertions(Assertion Based Verification ou ABV) s'est imposée comme une solution pour la vérification semi-formelle des circuits. L'ABV permet de valider qu'un circuit satisfait ou non une propriété(ou assertion). Des travaux antérieurs ont montré qu'il était possible de synthétiser ces propriétés sous la forme de moniteurs matériels. Ces derniers peuvent ainsi être embarqués à demeure sur un circuit afin qu'ils assurent une tâche de monitoring. Avec un objectif de surveillance et de sûreté, l'utilisation de tels moniteurs est un plus. Néanmoins, ces derniers sont aussi sensibles que les circuits surveillés à une dégradation environnementale(tension, température, vieillissement, …). Afin de réduire le risque de dysfonctionnement des moniteurs, initialement conçus comme des circuits synchrones, une variante asynchrone(quasi-insensible aux délais) est proposée dans cette thèse. Ces travaux s'inscrivent dans le cadre du projet ANR SFINCS(Thalès, Dolphin Integration, TIMA) et ont mené à la définition d'une méthode de synthèse de moniteurs asynchrones matériels tirant parti de la robustesse et de la modularité des implémentations asynchrones. Les études menées se focalisent en premier lieu sur la conception d'une bibliothèque de moniteurs élémentaires asynchrones et sur une méthode d'interconnexion ad hoc permettant de constituer des moniteurs complexes. Afin de garantir les bonnes propriétés de robustesse de ces moniteurs, une étude a été menée à l'aide de l'outil de vérification formelle RAT. Il a notamment été prouvé que la connexion d'un moniteur asynchrone avec un circuit synchrone(à surveiller) était un point particulièrement délicat car les hypothèses du circuit synchrone contraignent le moniteur asynchrone. Il a donc été proposé d'introduire un dispositif de contrôle de l'horloge du circuit synchrone, appelé « clock stretching », afin de relaxer les hypothèses temporelles synchrones qui sont appliquées à la partie asynchrone. / With the advent of complex integrated systems, the assertion based verification(ABV) has emerged as a solution for the semi-formal circuits verification. The ABV is used to validate that a circuit satisfies a property(or assertion). Previous work has shown that it is possible to synthesize these properties in the form of hardware monitors. These can then be embeddded permanantly on a circuit so that they provide monitoring task. With a goal of security and surveillance, the use of such monitors is a plus. Nevertheless, they are as sensitive as the monitored circuits to environmental degradation(voltage, temperature, age, ...). To reduce the risk of failure in monitors, originally designed as synchronous circuits, an asynchronous variant(quasi-delay insensitive) is proposed in this thesis. This work is part of the ANR project SFINCS(Thales, Dolphin Integration, TIMA) and led to the definition of a method for synthesizing asynchronous hardware monitors leveraging the robustness and modularity of asynchronous implementations. The studies focus primarily on the design of a library of basic asynchronous monitors and an ad hoc method of interconnection to build complex monitors. To ensure the robustness of these monitors, a study was conducted using formal verification tool RAT. In particular it was proved that the connection of an asynchronous monitor with a synchronous circuit(to watch) was particularly tricky because the timing assumptions of synchronous circuit impact the asynchronous monitor. It was therefore proposed to introduce a devicet, called "clock stretching", for controlling the clock of the synchronous circuit and relax synchronous timing assumptions that are applied to the asynchronous monitor.

L’objectif de la présente recherche est d’analyser la « dichotomie » que l’on observe habituellement dans la pratique chrétienne de nombreux fidèles africains. Ils sont en effet partagés entre, d'une part, un fort et sincère attachement à l’Eglise catholique avec ses principes, et d'autre part, un recours aux pratiques rituelles des cultures africaines traditionnelles pour résoudre les problèmes de la vie quotidienne. Après un ressourcement dans l’histoire du laïcat en Pays beti, nous avons noté la réalité de ce problème. Mais nos investigations nous ont conduit à opérer un discernement dans l’herméneutique de cette question. Le problème de la « dichotomie religieuse» ne se pose plus de la même manière aujourd’hui qu’au sein de l’Église missionnaire ou même dans la période post-missionnaire des années 60. D’où la nécessité d’un redéploiement historique pour une bonne herméneutique de ce problème. Notre analyse nous conduit à des déplacements herméneutiques quant aux mobiles de ce malaise dans la pratique chrétienne des laïcs africains. Les défis d’une société moderne et même postmoderne ne sont plus seulement les conflits entre traditions ancestrales et culture christiano-occidentale. C’est en ce sens que l’on peut penser que le constat de « dichotomie » est beaucoup plus l’expression de ce malaise moderne que la désignation de la crise la plus fondamentale. Le principal défi du laïc aujourd’hui est l’adaptation du vécu de sa foi dans une société moderne aux interpellations multiformes. L’urgence pastorale est donc dans la prise en compte de la nouvelle donne socioreligieuse d’aujourd’hui. D’où la pertinence d’une « pastorale des signes des temps ». / The purpose of this research is to analyze the "dichotomy" whose many African faithful are subjected in their Christian practices. In fact, they are divided between, on one hand, a strong and sincere commitment to Catholic Church with its principles, and on the other hand, an appeal to traditional African cultures and ritual practices to solve their daily life problems. A survey of the history of the laity in the Betiland provides us the framework on which we build our analysis. Our investigation reveals a hermeneutical problem. In dealing with the problem of ‘dichotomy’ in the Betiland, two periods are to be acknowledged: the Missionary Period (until 1960) and Post Missionary Period (until today). Because of these two periods, there is a need of re-assessing an historical reading of the problem. This reading leads us inevitably to hermeneutical shifts in assessing the reasons of the malaise whom the African layman is confronted in his Christian practice. As a matter of fact, our discovery is that the challenges of a modern and even post-modern society are not only conflicts between traditions and Western Christian culture. There are results of a more fundamental crisis: the crisis of secular world. From this standpoint, the word ‘dichotomy’ becomes more than the expression of a solely post-modern malaise. It becomes a word that expresses the main challenge of today’s secular world in search of the adaptation of faith in modern society as this society faces multi breakdowns; thus our interest of evaluating its use on pastoral field and its relevance in terms of a "pastoral care of the signs of the times".