Quantifying Capital Mobility in OECD and EU Areas.

Rapport de recherche

'Are We Now Equal?' Recent experiences and perceptions of South American migrants in Argentina under MERCOSUR

De manière générale, ma thèse examine les mécanismes des processus sociaux, économiques et politiques ayant contribué, souvent de manière contradictoire, à la (re)définition des critères d’adhésion au sein de la nation et de l’Etat. Elle le fait par le dialogue au sein de deux grands corps de littérature intimement liés, la citoyenneté et le transnationalisme, qui se sont penchés sur les questions d’appartenance, d’exclusion, de mobilité et d’accès aux droits chez les migrants transnationaux tout en soulignant la capacité accrue de l’Etat à réguler à la fois les déplacements de personnes et l’accès des migrants aux droits. Cette thèse remet en question trois principes qui influencent la recherche et les programmes d’action publique ayant trait au transnationalisme et à la citoyenneté des migrants, et remet en cause les approches analytiques hégémoniques et méthodologiques qui les sous-tendent. L’étude a été menée à deux niveaux distincts d’analyse empirique et analytique. D’une part, nous examinons les « technologies de la citoyenneté » (Ong 2003, Fujiwara 2008) qui ont été développées par le gouvernement pour transformer l’Argentine en une nation latino-américaine diverse et inclusive pendant la dernière décennie, en nous intéressant particulièrement à la création, par le Kirchnerisme, d’une « nouvelle légalité » pour les Paraguayens, les Boliviens et les Péruviens résidant dans le pays. D’autre part, nous analysons la « dimension horizontale des processus de citoyenneté » (Neveu 2005, Pickus and Skerry 2007, Gagné and Neveu 2009) chez ces migrants dans des aires urbaines, périphériques et rurales du partido de La Plata. Plus spécifiquement, nous examinons dans quelle mesure les conditions socioéconomiques des migrants ont changé suite à leur nouveau statut légal (en tant que ressortissants du MERCOSUR en Argentine, dont les droits sont égaux à ceux des citoyens) et aux politiques de « citoyenneté inclusive » déployées par le gouvernement. Cette thèse se penche particulièrement sur les fondations et l’incarnation (« embodiment ») des droits en examinant comment le nouveau statut légal des migrants se manifeste au quotidien en fonction de a) où ils vivent et travaillent, et b) leur statut social perçu par les autres migrants et non-migrants. D’une part, nous examinons les aires urbaines, périphériques et rurales de La Plata en tant que « zones de souveraineté graduée » (Ong 1999), où des régimes de gouvernementalité locaux spécifiques se sont développés en lien avec l’installation de groupes ethniques souvent distincts, et dont les droits et devoirs diffèrent de ceux d’autres zones. D’autre part, nous étudions la façon dont le statut social est produit à travers les interactions sociales quotidiennes en transposant des distinctions construites socialement telles que race, classe, genre et origine nationale, en systèmes d’exclusion formels (Gregory 2007). Notre analyse ethnographique de ce que nous appelons les « expériences de légalité » des migrants démontre que leur égalité formelle vis-à-vis des Argentins, loin d’être simplement donnée comme un nouveau statut légal uniformément garanti pour tous, est à la fois inégalement vécue par les divers migrants, et différemment respectée dans les zones géographiques dirigées par divers régimes de gouvernementalité (Foucault 1978).

A Categorical Framework for the Specification and the Verification of Aspect Oriented Systems

Un objectif principal du génie logiciel est de pouvoir produire des logiciels complexes, de grande taille et fiables en un temps raisonnable. La technologie orientée objet (OO) a fourni de bons concepts et des techniques de modélisation et de programmation qui ont permis de développer des applications complexes tant dans le monde académique que dans le monde industriel. Cette expérience a cependant permis de découvrir les faiblesses du paradigme objet (par exemples, la dispersion de code et le problème de traçabilité). La programmation orientée aspect (OA) apporte une solution simple aux limitations de la programmation OO, telle que le problème des préoccupations transversales. Ces préoccupations transversales se traduisent par la dispersion du même code dans plusieurs modules du système ou l’emmêlement de plusieurs morceaux de code dans un même module. Cette nouvelle méthode de programmer permet d’implémenter chaque problématique indépendamment des autres, puis de les assembler selon des règles bien définies. La programmation OA promet donc une meilleure productivité, une meilleure réutilisation du code et une meilleure adaptation du code aux changements. Très vite, cette nouvelle façon de faire s’est vue s’étendre sur tout le processus de développement de logiciel en ayant pour but de préserver la modularité et la traçabilité, qui sont deux propriétés importantes des logiciels de bonne qualité. Cependant, la technologie OA présente de nombreux défis. Le raisonnement, la spécification, et la vérification des programmes OA présentent des difficultés d’autant plus que ces programmes évoluent dans le temps. Par conséquent, le raisonnement modulaire de ces programmes est requis sinon ils nécessiteraient d’être réexaminés au complet chaque fois qu’un composant est changé ou ajouté. Il est cependant bien connu dans la littérature que le raisonnement modulaire sur les programmes OA est difficile vu que les aspects appliqués changent souvent le comportement de leurs composantes de base [47]. Ces mêmes difficultés sont présentes au niveau des phases de spécification et de vérification du processus de développement des logiciels. Au meilleur de nos connaissances, la spécification modulaire et la vérification modulaire sont faiblement couvertes et constituent un champ de recherche très intéressant. De même, les interactions entre aspects est un sérieux problème dans la communauté des aspects. Pour faire face à ces problèmes, nous avons choisi d’utiliser la théorie des catégories et les techniques des spécifications algébriques. Pour apporter une solution aux problèmes ci-dessus cités, nous avons utilisé les travaux de Wiels [110] et d’autres contributions telles que celles décrites dans le livre [25]. Nous supposons que le système en développement est déjà décomposé en aspects et classes. La première contribution de notre thèse est l’extension des techniques des spécifications algébriques à la notion d’aspect. Deuxièmement, nous avons défini une logique, LA , qui est utilisée dans le corps des spécifications pour décrire le comportement de ces composantes. La troisième contribution consiste en la définition de l’opérateur de tissage qui correspond à la relation d’interconnexion entre les modules d’aspect et les modules de classe. La quatrième contribution concerne le développement d’un mécanisme de prévention qui permet de prévenir les interactions indésirables dans les systèmes orientés aspect.