Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Cette recherche interroge les fonctionnements et les formes d'engagement associatif au sein d'organisations de défense des consommateurs situées à Valparaíso (Chili) et en Moselle. Il s'agit ici de comprendre comment, dans des associations institutionnalisées ou en plein processus d'institutionnalisation, l'articulation complexe entre la volonté de former un contre-pouvoir et la nécessité, pour ce faire, de techniciser l'action allant jusqu'à la professionnaliser, agit sur les manières de s'engager dans ces associations. Cette étude s'inscrit à la croisée des chemins de la sociologie des associations, du travail et des organisations ainsi que de la sociologie des mouvements sociaux. / This research questions the mechanisms and the form of associative commitment in consumer organisations in Valparaíso (Chile) and in Moselle (France). The point is to understand how the complex connexion between the will to form forces of opposition and the need to technicize their action so much that it pushes to professionalization acts on the commitment in institutionalized organisations. Thus, this study is at the meeting point of organizational studies, industrial sociology and the sociological studies of social movements.

Le model checking est une technique établie pour vérifier automatiquement qu’un modèle vérifie une propriété temporelle donnée. Lorsque le modèle viole la propriété, le model checker retourne un contre-exemple, i.e., une séquence d’actions menant à un état où la propriété n’est pas satisfaite. Comprendre ce contre-exemple pour le débogage de la spécification est une tâche compliquée pour plusieurs raisons: (i) le contre-exemple peut contenir un grand nombre d’actions; (ii) la tâche de débogage est principalement réalisée manuellement; (iii) le contre-exemple n’indique pas explicitement la source du bogue qui est caché dans le modèle; (iv) les actions les plus pertinentes ne sont pas mises en évidence dans le contre-exemple; (v) le contre-exemple ne donne pas une vue globale du problème.Ce travail présente une nouvelle approche qui rend plus accessible le model checking en simplifiant la compréhension des contre-exemples. Notre solution vise à ne garder que des actions dans des contre-exemples pertinents à des fins de débogage. Pour y parvenir, on détecte dans les modèles des choix spécifiques entre les transitions conduisant à un comportement correct ou à une partie du modèle erroné. Ces choix, que nous appelons neighbourhoods, se révèlent être de grande importance pour la compréhension du bogue à travers le contre-exemple. Pour extraire de tels choix, nous proposons deux méthodes différentes. La première méthode concerne le débogage des contre-exemples pour la violations de propriétés de sûreté. Pour ce faire, elle construit un nouveau modèle de l’original contenant tous les contre-exemples, puis compare les deux modèles pour identifier les neighbourhoods. La deuxième méthode concerne le débogage des contre-exemples pour la violations de propriétés de vivacité. À partir d’une propriété de vivacité, elle étend le modèle avec des informations de préfixe / suffixe correspondants à cette propriété. Ce modèle enrichi est ensuite analysé pour identifier les neighbourhoods.Un modèle annoté avec les neighbourhoods peut être exploité de deux manières. Tout d’abord, la partie erronée du modèle peut être visualisée en se focalisant sur les neighbourhoods, afin d’avoir une vue globale du comportement du bogue. Deuxièmement, un ensemble de techniques d’abstraction que nous avons développées peut être utilisé pour extraire les actions plus pertinentes à partir de contre-exemples, ce qui facilite leur compréhension. Notre approche est entièrement automatisée par un outil que nous avons implémenté et qui a été validé sur des études de cas réels dans différents domaines d’application. / Model checking is an established technique for automatically verifying that a model satisfies a given temporal property. When the model violates the property, the model checker returns a counterexample, which is a sequence of actions leading to a state where the property is not satisfied. Understanding this counterexample for debugging the specification is a complicated task for several reasons: (i) the counterexample can contain a large number of actions; (ii) the debugging task is mostly achieved manually; (iii) the counterexample does not explicitly point out the source of the bug that is hidden in the model; (iv) the most relevant actions are not highlighted in the counterexample; (v) the counterexample does not give a global view of the problem.This work presents a new approach that improves the usability of model checking by simplifying the comprehension of counterexamples. Our solution aims at keeping only actions in counterexamples that are relevant for debugging purposes. This is achieved by detecting in the models some specific choices between transitions leading to a correct behaviour or falling into an erroneous part of the model. These choices, which we call "neighbourhoods", turn out to be of major importance for the understanding of the bug behind the counterexample. To extract such choices we propose two different methods. One method aims at supporting the debugging of counterexamples for safety properties violations. To do so, it builds a new model from the original one containing all the counterexamples, and then compares the two models to identify neighbourhoods. The other method supports the debugging of counterexamples for liveness properties violations. Given a liveness property, it extends the model with prefix / suffix information w.r.t. that property. This enriched model is then analysed to identify neighbourhoods.A model annotated with neighbourhoods can be exploited in two ways. First, the erroneous part of the model can be visualized with a specific focus on neighbourhoods, in order to have a global view of the bug behaviour. Second, a set of abstraction techniques we developed can be used to extract relevant actions from counterexamples, which makes easier their comprehension. Our approach is fully automated by a tool we implemented and that has been validated on real-world case studies from various application areas.

Ce projet se concentre sur la prise en charge non pharmacologique des patients atteints d'insuffisance cardiaque (HF), en mettant l'accent sur l'entraînement physique selon ses différentes modalités. Le but de cette étude est d'évaluer l'effet d'un programme combiné de deux ou trois modalités: entraînement aérobie en intervalles (AIT), entraînement musculaire inspiratoire (IMT) et entraînement contre résistance (RT) sur plusieurs paramètres tels que: la fonction des muscles cardiopulmonaire et squelettique, la dyspnée et la qualité de vie. En outre, cette thèse vise à chercher le meilleur type d'entraînement qui pourrait avoir des avantages supplémentaires sur les paramètres mesurés, fournissant ainsi une nouvelle application dans les programmes de réadaptation cardiaque. 60 patients atteints d'HF et de faiblesse musculaire inspiratoire (IMW) ont été répartis par randomisation dans l'un des groupes suivants: AIT (n = 10), IMT (n = 10), RT (n = 10), AIT + IMT (n = 10) et AIT + IMT + RT (n = 10). Les protocoles d'entraînements ont été effectués 3 fois par semaine pendant 12 semaines. Aucun changement n'a été détecté dans le groupe témoin. Tous les groupes ont montré des effets positifs significatifs sur presque tous les paramètres mesurés Cette thèse a permis de vérifier que la combinaison de l'AIT et de l'IMT a entraîné une amélioration supplémentaire des paramètres mesurés. Mais l'ajout de l'RT à l'AIT et à l'IMT a eu des avantages bénéfiques supplémentaires sur certains des paramètres mesurés par rapport au groupe combiné de deux modalités et à toutes les modalités d'entraînement, ce qui fait de la combinaison de deux modalités ou plus, le protocole le plus recommandé dans les programmes de réadaptation cardiaque / The present study shed lights on the non-pharmacological management in patients with heart failure (HF), with special focus on exercise training by its different modalities. The aim of this study is to evaluate the effect of a combined program of two or three modalities: aerobic interval training (AIT), inspiratory muscle training (IMT), and resistance training (RT), on several outcomes such as: cardiopulmonary and skeletal muscle function, dyspnea and quality of life (QoL). Moreover, this study aims to find the best training exercise that could have additional benefits on measured parameters, thus providing a novel application in cardiac rehabilitation programs. 60 patients with HF (New York Heart Association, NYHA≤45) and inspiratory muscle weakness (IMW) were randomly assigned to one of the six following groups (n=10, for each group): Control, AIT, IMT, RT, AIT+IMT and AIT+IMT+RT. The training regimens were performed 3 times per week for 12 weeks. No changes were detected in the control group. All groups showed significant positive effects on almost all the measured parameters. However, the combination of IMT to AIT and the addition of RT to IMT and AIT were the most powerful modalities and resulted in additional benefits over all training modalities. This study verified that, in patients with CHF and IMW, any exercise training, whether it is AIT, IMT or RT, improves the inspiratory muscle function, QoL, exercise performance and dyspnea. Moreover, the combination of the AIT and the IMT resulted in an additional improvement in the measured parameters. However, the addition of RT to AIT and IMT resulted in additional benefits in some of the measured parameters over the double combined group and all training modalities, which make the combination of two or more exercise training the most recommended protocol in cardiac rehabilitation programs

Ce mémoire analyse le cas d'étude du processus d'émergence de politiques publiques pour prévenir et contrer la traite sexuelle au niveau du gouvernement fédéral au Brésil (2000-2006). Le processus d'émergence de ce problème transnational a eu lieu au début des années 2000 au niveau international, mais l'Amérique latine et les Caraïbes demeurent en reste, bien que le phénomène y soit présent. Plusieurs efforts sont fournis dans cette région, mais ils se butent à plusieurs facteurs contraignants (corruption, discrimination, etc.). Malgré qu'il soit confronté aux mêmes contraintes, le Brésil s'est distingué, entre autres, en décrétant, en octobre 2006, une Politique nationale de lutte contre la traite des personnes, politique qui recouvre la traite sexuelle des femmes, enfants et adolescents. Nous nous sommes donc demandé ce qui expliquait que le processus d'émergence ait réussi dans ce pays d'Amérique du Sud. Pour répondre à cette question, nous avons élaboré une grille d'analyse inspirée de l'approche de Kingdon. L'approche de Kingdon suggère que les processus d'émergence, de formulation et de mise en oeuvre de politiques est le résultat de trois « courants » : le courant des problèmes, le courant de la politique et le courant des alternatives. Pour le processus d'émergence, le couplage entre les courants des problèmes et de la politique est essentiel. Notre grille s'est enrichie de recherches sur la définition des problèmes (courant des problèmes) à partir d'autres auteurs. Nous avons ensuite dressé un historique du processus d'émergence à partir d'un corpus d'analyse constitué d'articles, de rapports de recherches et des réponses à quatre entrevues semi-dirigées. Au gouvernement fédéral brésilien, la lutte à la traite sexuelle des mineurs est prise en compte partiellement par le Secrétariat spécial des droits humains qui s'occupe de la question de l'exploitation sexuelle juvénile. La traite sexuelle est toutefois surtout l'affaire du ministère de la Justice qui s'occupe de la traite des personnes. En appliquant la grille d'analyse, nous constatons que des facteurs appartenant au courant de la politique étaient déjà établis au début des années 2000 (engagement international du Brésil et mobilisation de la société civile sur le thème de l'exploitation sexuelle juvénile). L'arrivée du courant des problèmes a été le moment clé, qui a permis le couplage des deux courants. La production d'une recherche nationale dénommée PESTRAF et portant exclusivement sur la traite sexuelle a permis la définition du problème à laquelle pouvaient s'identifier des acteurs déjà mobilisés sur la question de l'exploitation sexuelle juvénile. Elle a également fourni les indicateurs nécessaires à « prouver » l'existence du problème. Les acteurs nationaux ont été de premier plan. Cependant, sans l'aide financière et technique d'une diversité d'acteurs internationaux (organisations non gouvernementales, organisations intergouvernementales et agences de coopération technique), le processus d'émergence aurait été plus long, voire improbable. Le processus d'émergence ne garantit toutefois pas les processus de formulation et de mise en oeuvre de politiques destinées à combattre la traite sexuelle au Brésil. Tous les acteurs devront demeurer mobilisés sur cette question. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Amérique latine, Brésil, Femmes, Ordre du jour, Politiques publiques, Traite.

La société moderne avancée révèle une diversité de communautés sociales, particulièrement en milieu urbain. Chaque communauté urbaine représente un microcosme et participe à une sous-culture spécifique. Valérie Fournier, chercheuse en sciences sociale à Genève, nomme ces communautés urbaines: les nouvelles tribus urbaines. Les bars sont souvent le lieu de rencontre de ces tribus urbaines. Ce mémoire consiste à une analyse empirique d'un bar reconnu à Montréal, les Foufounes Électriques. Ce bar particulier a ouvert ses portes en 1983, sa sous-culture a donc évolué depuis toutes ces années. Le concept de sous-culture est un concept dynamique qui bouge et se tranforme dans le temps. Nous nous sommes donc penché sur les transformations qu'a subies l'univers des Foufounes Électriques. En faisant parler différents niveaux d'acteurs sociaux endogènes et exogènes, nous retraçons l'historique du bar et révèlons les transformations de sa sous-culture. Puis nous tentons d'interpréter cette transformation que nous qualifions d'un passage d'un statut underground à statut overground. Nous croyons que ce passage s'effectue par le phénomène de la mode. Nous explorons aussi dans ce mémoire, les ambiguïtés que révèlent le passage de statut underground à overground d'une sous-culture urbaine. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Les Foufounes électriques, Sous-culture, Underground, Overground, Changement culturel.

Texte remanié de: Habilitationsschrift--Evangelisch-theologische Fakultät--Tübingen--Eberhard-Karls-Universität, 1994. / Bibliogr. p. 348-379.

Texte remanié de: Th. de 3e cycle--Histoire--Paris. Titre de soutenance : La Croisade des albigeois et ses historiens : nationalisme et histoire. / Contient un choix de textes de divers auteurs. Bibliogr. p. 193-195. Index.

Texte remanié de: Dissertation Ph. D.--Galway--National University of Ireland, 2004. Titre de soutenance : Religion and reform in the Tudor diocese of Meath. / Bibliogr. p. 157-170.

Habilitationsschrift--Fachbereich Geschichtswissenschaften--Frankfurt-am-Main--Johann Wolfgang Goethe-Universität, 1997. / Bibliogr. 696-726. Index.