Cette thèse propose une approche d'aide à la conception et au développement de modèles formels B. Cette approche se base sur la construction d'un système de transitions symboliques décrivant les comportements du modèle. Cette seconde vue est complémentaire avec la description orientée données du modèle B et peut être utilisée pour le décrire, le documenter ou le valider. Le système de transitions est élaboré à partir d'un espace d'états fourni par l'utilisateur et les transitions sont construites par résolution d'obligations de preuve. Nous proposons également de prendre en compte le processus de raffinement B en introduisant la notion de hiérarchie dans les systèmes de transitions. Cette représentation permet de mettre en évidence le lien entre les données des différents niveaux de raffinement. De plus, la méthode que nous proposons se base sur la décomposition des états d'une représentation du modèle abstrait, permettant ainsi de conserver la structure générale du système. Enfin, nous terminons ce manuscrit en décrivant l'outil GénéSyst qui implante cette méthode, ainsi que son utilisation dans le cadre du projet GECCOO, pour la vérification de propriétés de sécurité.

<p>Le but de ce mémoire est de comparer l’aide publique au développement de la Suède et de la France offerte au Mali. La comparaison est axée autour des plus grands bailleurs ; l’Asdi (Agence suédoise de coopération Internationale au Développement) et l’AFD (Agence Française de Développement) et leur aide au développement pour le Mali. Les questions de recherche posées sont ; quels sont les buts principaux de l’Asdi et de l’AFD avec leur aide au développement au Mali, et quelles sont leurs méthodes utilisées pour les atteindre?</p><p>La recherche montre que le but est le même pour les deux agences. Elles mettent l’accent sur la lutte contre la pauvreté, les inégalités ainsi que sur un développement durable.</p><p>Cependant les méthodes appliquées divergent. Les actions suédoises au développement réalisent les conditions demandées par la théorie promouvant la démocratie et cela probablement parce les quatre grandes lignes directrices de l’aide au développement du gouvernement suédois correspondent à la théorie appliquée.</p><p>Les actions accomplies par l’AFD ne correspondent pas à toutes les actions exigées par la théorie, probablement parce que les grandes lignes de l’AFD n’y correspondent pas et que l’agence suit une autre théorie. L’aide au développement de l’Asdi en comparaison avec celles de l’AFD, est clairement plus complexe de ce point de vue. Donc les méthodes divergent distinctement, probablement parce que les deux agences suivent des théories différentes.</p>

La France a obtenu de ses partenaires l'inclusion des territoires d'outre-mer dans le traité de Rome instituant la CEE. L'objectif était, en période de décolonisation, de maintenir des liens entre les métropoles et les anciennes colonies dans un contexte nouveau. Entre 1958 et 1963, les Six expérimentent un système d'association avec les pays tiers, en particulier les états africains et malgache associés (EAMA) qui permet de maintenir des liens économiques particuliers avec ces états souverains, sous couvert d'une aide au développement. La Convention de Yaoundé de juillet 1963 marque la volonté des Six d'institutionnaliser et de coordonner leurs relations avec les pays tiers africains et malgache et jette les bases d'une politique de coopération, consolidée par des renouvellements de cette Convention. Celles-ci furent basées au niveau commercial, sur des préférences tarifaires et contingentaires réciproques et une assistance financière et technique. Aux termes d'une décennie d'association, le bilan du soutien au développement fut très maigre. Excepté la coopération dans le domaine de l'enseignement et de la formation où il y a eu une hausse de la scolarisation dans la plupart des EAMA, les résultats au niveau économique furent dérisoires : les préférences dont ils bénéficièrent se réduisirent progressivement à peu de chose, ils restèrent encore très dépendants et fortement endettés. Leur économie était toujours basée sur l'exportation des produits tropicaux et l'extraction des minerais et les termes de l'échange très déséquilibrés.

L'ensemble des pays d'Afrique s'accorde sur le fait que le développement humain est une aspiration fondamentale des peuples de la région et des gouvernements qui les représentent. Ainsi ont-ils tous adopté la Déclaration du Millénaire. Cependant les avancées d'une manière générale ont été en deçà des attentes. Entre 1990 et 2000, les pays africains n'ont atteint en moyenne que 10% des objectifs du Millénaire, au lieu des 40% nécessaires pour être sur la bonne voie. L'analyse globale du suivi des OMD montre que 4 pays ont atteint un certain nombre de cibles spécifiques et que plus d'un tiers des pays de la sous-région pourrait atteindre les principaux objectifs notamment dans les domaines de scolarisation, de la nutrition, et de l'accès à l'eau potable. Les autres pays par contre pourraient connaître de réelles difficultés à relever les défis sans un soutien effectif et durable de la communauté internationale. Malgré le bilan mitigé des accords de partenariats, de nombreux spécialistes estiment que l'atteinte des OMD en Afrique ne peut s'envisager sans des partenariats internationaux. D'où la nécessité de conserver le sens du réalisme c'est-à-dire de solliciter le concours financier, technologique et intellectuel que peuvent apporter les pays industrialisés, en particulier ceux de l'Union Européenne et des États-Unis d'Amérique, et déplacer la charge de la mise en œuvre du développement durable des États vers les citoyens et ce au travers la consécration des partenariats «publics-privés» et « États/Sociétés civiles». / All African countries agree that human development is a fundamental aspiration of the peoples of the region and the governments that represent them. So they all adopted the Millennium Declaration. However, overall progress has been below expectations. Between 1990 and 2000, African countries averaged only 10 per cent of the Millennium Development Goals, instead of the 40 per cent required to be on the right track. The global analysis of MDG monitoring shows that 4 countries have reached a number of specific targets and that more than one third of the countries of the subregion could reach the main objectives, particularly in the areas of schooling, nutrition, and access to clean water. Other countries, on the other hand, could face real difficulties in meeting the challenges without effective and lasting support from the international community. Despite the mixed record of partnership agreements, many experts believe that achieving the MDGs in Africa cannot be achieved without international partnerships. Hence the need to maintain the sense of realism that is to ask for the financial, technological and intellectual assistance that can bring the industrialized countries, especially those of the European Union and the United States of America , and to shift the burden of implementing the sustainable development of states towards the citizens through the dedication of "public-private" partnerships and "states / civil societies".

Le but de ce mémoire est de comparer l’aide publique au développement de la Suède et de la France offerte au Mali. La comparaison est axée autour des plus grands bailleurs ; l’Asdi (Agence suédoise de coopération Internationale au Développement) et l’AFD (Agence Française de Développement) et leur aide au développement pour le Mali. Les questions de recherche posées sont ; quels sont les buts principaux de l’Asdi et de l’AFD avec leur aide au développement au Mali, et quelles sont leurs méthodes utilisées pour les atteindre? La recherche montre que le but est le même pour les deux agences. Elles mettent l’accent sur la lutte contre la pauvreté, les inégalités ainsi que sur un développement durable. Cependant les méthodes appliquées divergent. Les actions suédoises au développement réalisent les conditions demandées par la théorie promouvant la démocratie et cela probablement parce les quatre grandes lignes directrices de l’aide au développement du gouvernement suédois correspondent à la théorie appliquée. Les actions accomplies par l’AFD ne correspondent pas à toutes les actions exigées par la théorie, probablement parce que les grandes lignes de l’AFD n’y correspondent pas et que l’agence suit une autre théorie. L’aide au développement de l’Asdi en comparaison avec celles de l’AFD, est clairement plus complexe de ce point de vue. Donc les méthodes divergent distinctement, probablement parce que les deux agences suivent des théories différentes.

Cette thèse analyse la construction et la diffusion d’une bonne pratique de l’évaluation dans le secteur de l’aide au développement. D’un point de vue historique, l’auteure étudie comment l’évaluation est passée d’une pratique marginale des organismes d’aide au développement dans les années 1960, à un passage obligé de tous les programmes d’aide dans les années 2000. Ensuite, l’auteure réalise une étude sociologique de l’acteur qu’est l’évaluateur dans le système international de l’aide au développement. Elle étudie son influence auprès des autres acteurs de ce système, ainsi que sa capacité à légitimer et à diffuser son expertise. Elle montre comment les évaluateurs se professionnalisent par la création de « communautés de pratique » au Nord et au Sud. Enfin, l’auteure s’intéresse aux effets de « déclassement » que produit l’évaluation sur les acteurs de l’aide au développement du Nord et du Sud. Elle analyse comment l’évaluation, en produisant un jugement de valeur sur les politiques de développement des donateurs et des bénéficiaires, conduit à les mettre en concurrence et à discriminer les moins performants ; performance déterminée de manière subjective. L’objectif de l’auteur est de montrer que l’évaluation est un objet politique, dans la mesure où sa mise en pratique est déterminée par l’environnement politique dans lequel elle intervient, et où elle influence à son tour les politiques des donateurs et des bénéficiaires de l’aide au développement. / This thesis analyses the construction and propagation of a best practice of the evaluation in the development aid sector. From a historical perspective, the author studies how, between 1960s and 2000s, evaluation went from being a marginal practice of development aid bodies to being a compulsory part of aid programs. The author then conducts a sociological study of the role played evaluators within the international system of development aid. She studies their influence over the other participants of this system, as well as their capacity in legitimising and in diffusing their expertise. She highlights how evaluators professionalise themselves by creating “practice communities” in the North and in the South. Finally the author looks at the consequences that the “downgrading” stemming from evaluation have on actors who take part in development aid in the North and South. She analyses how evaluation -- by creating a value judgment on the development policies of both donors and beneficiaries -- results in creating competition among these actors and in the discrimination of those that are least performing – a performance itself subjectively determined. The author’s aim is to show that evaluation is a political tool, in that its use is determined by the political environment in which it is conducted, and where it then influences the policies of development aid donors and beneficiaries.

Cette étude analyse la pauvreté multidimensionnelle des femmes en Haïti et l`impact d`un système d`activités génératrices de revenu, KOFAVAC, sur les conditions de vie de celles-ci. L`analyse des résultats de l`enquête menée auprès des femmes révèle que la pauvreté touche à toutes les dimensions de leur vie. Les déterminants de la pauvreté sont à la fois des facteurs liés aux caractéristiques sociodémographiques et économiques de la femme et de son ménage : la taille du ménage, le nombre d`enfants qui sont à l`école, le nombre d`adultes sans profession et qui ne mènent aucune activité rémunératrice et le niveau de dotation du ménage en actifs terre et animaux d`élevage. L`impossibilité de satisfaire les besoins du ménage est perçue par les femmes comme étant le premier signe de pauvreté et le facteur déterminant de leur incapacité à rester dans le système crédit/épargne KOFAVAC. L`impact de KOFAVAC, comme apporteur d`un revenu supplémentaire est très faible. Mais son apport en termes de contribution à la satisfaction des besoins d`alimentation et de scolarisation des enfants est reconnu par les femmes. Aussi, la création d`emplois et la scolarisation gratuite figurent parmi les actions prioritaires que l`État haïtien doit entreprendre à Chansolme pour une amélioration des conditions de vie de la population selon les femmes. De même, la recherche de nouvelles activités génératrices de revenus, l`aide pour le logement, la transformation de nouveaux produits et la recherche de nouveaux marchés sont proposées par les femmes en vue d`un meilleur appui de KOFAVAC. / This study analyses the multidimensional poverty of the women in Haiti and the impact of a resourcefulness generating activities of income, KOFAVAC, on the living conditions of those. The analytic results of the survey carried out near the women reveal that poverty affects all the dimensions of their life. The determinants of poverty are at the same time factors related to the socio-demographic and economic characteristics of the women life and her household: the size of the household, the number of children who are not attended school, the number of adults without profession and which do not undertake any gainful activity and the level of staffing off land and animals breeding. The impossibility of satisfying the needs for the household is perceived by the women as being the first sign of poverty and the factor determinant of their incapacity to remain in the system credit/saving KOFAVAC. The impact of KOFAVAC, as bearing an additional income is very weak; its support in terms of contribution to the satisfaction of the needs of food and schooling for the children is recognized by the women. Therefore, the creation of jobs and free education appear among the priority actions that the Haitian Government must undertake in Chansolme for improvement of the conditions of the population according to women's. In the same way, the search of new generating activities of incomes, assistance for housing, transformation of new products and the search for new markets are proposed by women for a better support of KOFAVAC.

Le Canada a montré, entre les années 1960 et 2005, qu'il s'investissait en Afrique subsaharienne. Les relations économiques avec ce continent étant minimes par rapport à celles entretenues avec d'autres régions, tels les États-Unis, l'Amérique latine et l'Asie, la promotion de son identité est une illustration de cette préoccupation. L'objectif de la présente étude consiste à montrer que la promotion de son identité contribue à souder davantage la société canadienne. Le Canada veut être reconnu à l'intérieur et à l'extérieur comme une entité originale et comme un véritable acteur international. La promotion de l'identité canadienne en Afrique subsaharienne doit faire face à des difficultés rencontrées sur le plan externe, le Canada voulant se distinguer des États-Unis, et sur le plan interne, le Canada devant faire face au développement des relations internationales du Québec. En effet, les finalités de la politique préconisée par le gouvernement du Québec se situent parfois en contradiction avec les objectifs annoncés dans la politique étrangère canadienne. La promotion de l'identité renvoie pour le Canada en grande partie à la promotion de ses valeurs, en particulier aux droits de la personne et à la démocratie, dont la définition et l'application sont parfois contestées par une partie de son opinion publique. Cette attitude contribue pour le Canada à rassembler davantage sa société. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Identité nationale, Identité canadienne, Image, Valeurs, Canada, Québec, États-Unis, France, Afrique subsaharienne, Sécurité, Souveraineté, Droits de la personne, Démocratie, Aide au développement, Missions de maintiens de la paix .

Ce mémoire questionne l'intégration croissante de l'aide au développement international au sein du paradigme sécuritaire de la gouvernance mondiale. Ce paradigme est en formation depuis la fin de la guerre froide et se consolide suite aux évènements du 11 septembre 2001. Le domaine de la coopération internationale se voit graduellement intégré au sein des préoccupations sécuritaires, ce qui a comme conséquence d'en transformer considérablement les modalités et la finalité et d'influer sur les relations de pouvoir entre le Nord et le Sud. Ce mémoire tente premièrement de démontrer que ce nouveau paradigme sécuritaire se base sur les concepts de la sécurité humaine et de l'État fragile et que l'articulation entre ces deux concepts permet l'exercice d'une gouvernementalité biopolitique dans les relations de coopération internationale. Lorsque l'aide au développement est utilisée par les bailleurs de fonds au sein de leurs stratégies de sécurité comme un instrument favorisant la stabilisation des États « fragiles» et la régulation de leurs populations, elle prend alors les contours d'une technologie biopolitique. Cette affirmation est ensuite mise à l'épreuve grâce à l'analyse de la politique de coopération du Canada en Haïti, la rationalisation et l'opérationnalisation de son aide au développement sur une période de 15 ans débutant en 1994. Cet examen a permis de déterminer que l'intervention multidimensionnelle dans les États fragiles à travers laquelle l'APD est appelée à jouer un rôle important repose en fait sur une multiplicité d'objectifs. Cependant, plusieurs d'entre eux répondent effectivement à des préoccupations sécuritaires exprimées par les États interventionnistes, dont fait partie le Canada et témoignent d'un glissement sécuritaire dans le discours et la pratique de la coopération. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Coopération internationale, Développement, Sécurité, Biopolitique, Sécurité humaine, État fragile, Canada, Haïti.

Le développement durable s'inscrit dans la perspective de la coopération internationale, où ce concept a été inséré depuis son apparition. Tandis que sa version officielle, teintée des couleurs libérale et néolibérale et adoptée par les organisations internationales, le présente comme l'orientation à prendre pour l'activité humaine face à la finitude et la vulnérabilité de l'environnement, des voix critiques mettent en doute ses fondements et sa capacité à atteindre les objectifs escomptés, et trouvent en lui le prolongement d'une entreprise hégémonique faisant du développement du capitalisme et de l'expansion du modèle occidentale de société sa raison d'être. Notre appréhension de cette stratégie de développement se fait alors sous l'angle de l'économie politique internationale. L'objectif de cette entreprise est de montrer que, par-delà le souci environnemental, d'ailleurs réel et justifié, il existe une volonté de domination hégémonique. Cette volonté se manifeste et se déploie au travers des fondements sous-tendant la conception officielle du développement et du développement durable, qui s'inspirent, à juste titre, des idéaux de la modernité, porte étendard de la civilisation occidentale. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Développement, Développement durable, Pays développés, Pays sous-développés, Colonialisme, Domination, Hégémonie.