Mes travaux s'articulent principalement autour de trois axes concernant la programmation sécurisée, plus particulièrement dans le cadre d'applications distribuées. Ainsi, nous considérons plusieurs participants ne se faisant pas mutuellement confiance et ayant des niveaux de sécurité différents. On s'intéresse alors au garanties restantes lorsque certains de ces participants sont compromis. Par exemple, lors d'une opération de commerce électronique, le client, le serveur, et la banque ne se font pas mutuellement confiance et font encore moins confiance aux machines intermédiaires du réseau; on veut pourtant qu'une transaction sécurisée puisse avoir lieu.

Nos travaux se situent au croisement de trois domaines : la sûreté de fonctionnement, l'analyse fonctionnelle et l'ingénierie des modèles. Dans l'objectif d'assister les analyses préliminaires des risques, nous avons proposé d'exploiter les modèles issus de l'analyse fonctionnelle de l'avion. Ces modèles décrivent les dépendances entre les fonctions qui doivent être réalisées durant une phase de vol. Pour exploiter ces modèles, nous avons introduit la notion d'efficacité qui mesure le degré de contribution d'une fonction à la réalisation nominale d'une phase de vol. Cette notion est utile pour les analyses de risques car elle permet de formaliser divers cas de dysfonctionnements des fonctions et pour évaluer le niveau de dégradation d'une phase de vol en cas de dysfonctionnement d'une ou plusieurs fonctions. Nous avons proposé d'annoter les modèles issus de l'analyse fonctionnelle avec des informations relatives à l'efficacité des fonctions et à leurs dysfonctionnements possibles. En suivant les principes de la transformation de modèles, nous avons étudié les moyens de produire le plus automatiquement possible des modèles utiles aux analyses de risques à partir des modèles annotés. Les modèles produits sont décrits avec le langage AltaRica, ils peuvent être analysés avec les outils associés à ce langage afin d'évaluer l'effet du dysfonctionnement de fonctions de l'avion ou de rechercher les combinaisons de dysfonctionnements les plus critiques. L'approche proposée a été appliquée pour analyser les risques associés aux fonctions utiles lors du décollage d'un avion.

Résumé Considérée par la Vision 2020 du Rwanda comme premier moteur de croissance économique et de réduction de la pauvreté, lagriculture rwandaise se prépare à rentrer dans une phase de mutations profondes de transformation et de modernisation de ses systèmes de production de subsistance pour souvrir au marché. Pour passer dune agriculture de subsistance à une agriculture commerciale, beaucoup denjeux et de contraintes du secteur agricole, variant et ne se faisant pas sentir avec la même acuité, dune région à une autre, méritent dêtre identifiés et analysés avant de passer à laction. Pour appréhender le sujet une étude documentaire détaillée a été réalisée sur la zone et sur le contexte agricole rwandais en général suivie dune série denquêtes sur terrain. Celles-ci reposent sur un échantillonnage raisonné de 4 secteurs (deux de basse altitude et deux de haute altitude) représentatifs de la diversité agro-bioclimatique et socioéconomique de la région dans chacun des deux districts de la zone de GIKONGORO. Tenant compte du nombre dunités de production présentes dans chaque secteur, les ménages ont été aléatoirement choisis dans les 8 secteurs retenus de manière à atteindre un effectif de 210 unités de production, pour recueillir leurs opinions sur les contraintes rencontrées, leurs stratégies de production et leurs desiderata en lien avec ce que les services agricoles conduisaient. Les problèmes relevés sont nettement complexes et semblent avoir pour facteur-racine la rupture de léquilibre « ressources naturelles/population », principal risque pour la croissance économique à long terme et la lutte contre la pauvreté. Le premier constat de cette étude est que les mutations démographiques, économiques, sociales ou culturelles qui ont affecté, depuis des décennies la zone de GIKONGORO, nont pas pu parallèlement, induire une dynamique organisationnelle qui se traduirait aussi par le développement et le renforcement des capacités des paysans et des organisations interpellées par les nouveaux enjeux du développement rural. Sur le plan agronomique, la principale contrainte sur laquelle convergent toutes les préoccupations des agriculteurs, est celui dun appauvrissement critique des sols. Celui-ci est principalement dû à une surexploitation des terres liée aux faibles superficies disponibles, aux difficultés dextension des terres de culture et à lincapacité des agriculteurs qui, faute de moyens, ne peuvent restituer au sol ce que les cultures exportent. Les pâturages naturels nétant plus disponibles en plus de la faible production fourragère dans la zone, la taille des troupeaux a sensiblement diminué et la production du fumier est faible. Sur des sols naturellement pauvres, érodés et très acides de GIKONGORO, le facteur limitant de la production agricole est avant tout la quantité de la fumure organique disponible sans laquelle tout investissement dans lamélioration de la fertilité des terres ne constitue quun gaspillage économique. Sur le plan de fonctionnement socioéconomique, les résultats de ce travail révèlent que 39% des exploitations sont très pauvres, procurent des revenus relativement inférieurs au seuil de reproduction et au seuil de survie pour certaines dentre elles et présentent une tendance générale à la régression. Evaluées à 47%, les exploitations à dominance agriculture procurent des revenus légèrement supérieurs au seuil de reproduction et montrent une tendance à la stagnation et se reproduisent à lidentique. Seulement 14% des exploitations de GIKONGORO sont en développement. Soutenues par des ressources extérieurs, elles produisent des revenus nettement supérieurs au seuil daccumulation. Elles ont des capacités dinvestissement relativement importantes et présentent une tendance générale à lélargissement.

ON PRESENTE LES PRINCIPAUX OUTILS QUI PERMETTENT DE SPECIFIER ET D'IMPLEMENTER LES MECANISMES DE SYNCHRONISATION DANS UN SYSTEME MONOPROCESSEUR PUIS MULTIPROCESSEUR. ON DEFINIT ET ON MONTRE LES REGLES D'EVOLUTION DES RESEAUX DE PETRI ET ON DETAILLE LES DIVERSES METHODES D'ANALYSE QU'ILS AUTORISENT. ON PROPOSE UN MODELE DERIVE APPELE RESEAUX DE PETRI A JETONS INDIVIDUALISES. ON DECRIT UN ALGORITHME DE SYNCHRONISATION ET ON PROPOSE UNE MISE EN OEUVRE DE CET ALGORITHME A PARTIR DES RESEAUX DE PETRI A JETONS INDIVIDUALISES

Notre thèse stipule qu'au vu de l'ampleur des agissements malveillants dans l'Internet, les logiciels d'extrémité doivent être surveillés. Pour limiter le nombre de points de surveillance, nous proposons de surveiller les logiciels depuis un point d'interconnexion. Nous avons dans ce but conçu Luth, un outil permettant de composer et de paralléliser un ensemble d'inspecteurs de points d'interconnexion (appelés MI) qui implémentent des mini IDS, IPS ou pare-feux, tout en vérifiant la correction et l'optimalité de ces derniers, à l'aide d'un langage de configuration et des algorithmes associés. Nous utilisons ensuite cet outil pour surveiller des logiciels d'extrémité permettant l'observation de trafic malveillant. Premièrement, après avoir démontré la nécessité de surveiller des pots de miels collecteurs de logiciels malveillants en concevant une attaque originale, nous montrons comment nous configurons Luth pour bloquer les attaques précédemment créées tout en laissant passer les attaques émulées par le pot de miel. Dans un second temps, nous utilisons Luth pour implémenter un bac-à-sable permettant d'analyser dynamiquement et aussi sûrement que voulu, les communications réseaux des logiciels malveillants. Nous montrons comment les informations obtenues par cette analyse permettent de regrouper ces logiciels et ainsi de limiter le nombre de binaires à analyser manuellement. Ensuite nous montrons comment nous générons automatiquement des signatures permettant la détection de ces virus depuis un point d'interconnexion / Our Ph.D states that given the magnitude of malicious behavior in the Internet, end-host software must be monitored. To limit the number of monitoring points, we propose to monitor the software from an interconnection point, i.e. a midpoint. We have designed for this purpose Luth, a tool to compose and parallelize a set of midpoint inspectors (MI) that implement mini IDS, IPS or firewall-s, while checking the correction and optimality of the resulting inspection tree, using a configuration language, its interpreter and associated algorithms. We then configure this tool to monitor some end-host software used to observe malicious traffic. First, we demonstrate why malware downloading honeypots must be monitored by designing an original attack. Then, we show how we configure Luth to block these attacks while accepting the intrusions emulated by the honeypot. In a second step, we use Luth to implement a sandbox that analyzes dynamically and as safely as wanted malware's network communications. We show how the information obtained by this analysis enables us to cluster the analyzed malware and therefore limit the number of malware to analyze manually. Finally, we show how we automatically generate signatures from this analysis to detect those malware from a midpoint device

ABSTRACT: This thesis tries to understand and explain the problems facing African international organizations in peacekeeping operations. The focus is on the case of the intervention by the Economic Community of West African States (ECOWAS) in Ivory Coast. The analysis will also discuss, in order to permit comparative analysis, the intervention of this same organization in Liberia, Sierra Leone and Guinea Bissau. This case study in comparative perspective can help to mitigate the disadvantage of a case study, whose main weakness is the problem of generalization from the results of one case. The literature in International Relations and peacekeeping operations is used to develop some hypotheses that we will try to test in this dissertation, specifically: the internal difficulties of international organizations; the problems of lessons learned in terms of peacekeeping operations; the balance of power between and the pursuit of the national interest by members states of the organization; the key role of international and foreign actors, such as former colonial masters, in the peace process; and finally, the problem of coordination between different actors. To answer to the research question, the dissertation will be written in the form of a story with different concentric circles. First, for the internal international organizations difficulties, we will use the functionalist approach which is one of the best theorizations of this issue. However, these internal obstacles are only the tip of the iceberg of the problem because behind the organization we have conflicts of interest between different member states and the intervention of former colonial masters that realists and the neo-marxists would anticipate. Nevertheless, these tend to emphasize more on states. As a consequence, they cannot help us to solve the huge issue of coordination between different actors. To respond to this problem, we turn to the model of multi-level governance and demonstrate its value in analysing this case. For the case of Ivory Coast, Liberia and Sierra Leone, we will use both primary and secondary literatures. However, for the case of Guinea Bissau, we will use only secondary literature. RESUME: Cette thèse vise à comprendre et à expliquer les difficultés des organisations internationales africaines dans le domaine du maintien de la paix. La question est étudiée par le moyen d’une étude de cas mais dans une perspective comparative. Car elle permet d’atténuer l’inconvénient majeur de l’étude de cas qui est la question de la généralisation. En effet, nous analyserons les difficultés de la communauté économique des États d’Afrique de l’Ouest (CEDEAO) dans la gestion de la crise ivoirienne en utilisant les interventions de cette même organisation au Libéria, en Sierra Leone et en Guinée Bissau pour la comparaison à des fins d’apprentissages. La littérature en Relations internationales et sur le maintien de la paix nous a suggéré les hypothèses suivantes que nous testerons : les difficultés intrinsèques des organisations internationales; les difficultés d’apprentissage de ces mêmes organisations dans le domaine du maintien de la paix; les jeux de puissances et d’intérêt entre États membres de l’organisation internationale; la confiscation incomplète des relations internationales ouest africaines par des acteurs, des enjeux et des intérêts étrangers; enfin, il y a la difficulté de la coordination des actions entre les différents acteurs impliqués dans les processus de résolution des crises. Nous répondrons à la question de recherche en forme de récit avec des cercles concentriques. D’abord pour aborder les difficultés intrinsèques, nous convoquerons les fonctionnalistes qui ont théorisé le mieux la question des organisations internationales. Mais, on s’est vite rendu compte que ces difficultés n’étaient que la face visible de l’iceberg et que derrière l’organisation se cachent des jeux de puissances et d’intérêt, mais aussi l’ingérence des anciennes puissances coloniales que les réalistes et les néo-marxistes avaient prévues. Mais ces derniers mettent surtout l’emphase sur l’État. Ce qui ne permet pas de résoudre la lancinante question de la pluralité des acteurs, des conflits de logiques et de l’articulation des efforts des différents intervenants que l’approche de la gouvernance à paliers multiples permet de prévoir. Pour la Côte d’Ivoire, le Libéria et la Sierra Leone nous utiliserons à la fois de la littérature primaire et secondaire. Mais pour la Guinée Bissau, nous nous appuierons uniquement sur de la littérature secondaire.

ABSTRACT: This thesis tries to understand and explain the problems facing African international organizations in peacekeeping operations. The focus is on the case of the intervention by the Economic Community of West African States (ECOWAS) in Ivory Coast. The analysis will also discuss, in order to permit comparative analysis, the intervention of this same organization in Liberia, Sierra Leone and Guinea Bissau. This case study in comparative perspective can help to mitigate the disadvantage of a case study, whose main weakness is the problem of generalization from the results of one case. The literature in International Relations and peacekeeping operations is used to develop some hypotheses that we will try to test in this dissertation, specifically: the internal difficulties of international organizations; the problems of lessons learned in terms of peacekeeping operations; the balance of power between and the pursuit of the national interest by members states of the organization; the key role of international and foreign actors, such as former colonial masters, in the peace process; and finally, the problem of coordination between different actors. To answer to the research question, the dissertation will be written in the form of a story with different concentric circles. First, for the internal international organizations difficulties, we will use the functionalist approach which is one of the best theorizations of this issue. However, these internal obstacles are only the tip of the iceberg of the problem because behind the organization we have conflicts of interest between different member states and the intervention of former colonial masters that realists and the neo-marxists would anticipate. Nevertheless, these tend to emphasize more on states. As a consequence, they cannot help us to solve the huge issue of coordination between different actors. To respond to this problem, we turn to the model of multi-level governance and demonstrate its value in analysing this case. For the case of Ivory Coast, Liberia and Sierra Leone, we will use both primary and secondary literatures. However, for the case of Guinea Bissau, we will use only secondary literature. RESUME: Cette thèse vise à comprendre et à expliquer les difficultés des organisations internationales africaines dans le domaine du maintien de la paix. La question est étudiée par le moyen d’une étude de cas mais dans une perspective comparative. Car elle permet d’atténuer l’inconvénient majeur de l’étude de cas qui est la question de la généralisation. En effet, nous analyserons les difficultés de la communauté économique des États d’Afrique de l’Ouest (CEDEAO) dans la gestion de la crise ivoirienne en utilisant les interventions de cette même organisation au Libéria, en Sierra Leone et en Guinée Bissau pour la comparaison à des fins d’apprentissages. La littérature en Relations internationales et sur le maintien de la paix nous a suggéré les hypothèses suivantes que nous testerons : les difficultés intrinsèques des organisations internationales; les difficultés d’apprentissage de ces mêmes organisations dans le domaine du maintien de la paix; les jeux de puissances et d’intérêt entre États membres de l’organisation internationale; la confiscation incomplète des relations internationales ouest africaines par des acteurs, des enjeux et des intérêts étrangers; enfin, il y a la difficulté de la coordination des actions entre les différents acteurs impliqués dans les processus de résolution des crises. Nous répondrons à la question de recherche en forme de récit avec des cercles concentriques. D’abord pour aborder les difficultés intrinsèques, nous convoquerons les fonctionnalistes qui ont théorisé le mieux la question des organisations internationales. Mais, on s’est vite rendu compte que ces difficultés n’étaient que la face visible de l’iceberg et que derrière l’organisation se cachent des jeux de puissances et d’intérêt, mais aussi l’ingérence des anciennes puissances coloniales que les réalistes et les néo-marxistes avaient prévues. Mais ces derniers mettent surtout l’emphase sur l’État. Ce qui ne permet pas de résoudre la lancinante question de la pluralité des acteurs, des conflits de logiques et de l’articulation des efforts des différents intervenants que l’approche de la gouvernance à paliers multiples permet de prévoir. Pour la Côte d’Ivoire, le Libéria et la Sierra Leone nous utiliserons à la fois de la littérature primaire et secondaire. Mais pour la Guinée Bissau, nous nous appuierons uniquement sur de la littérature secondaire.

ABSTRACT: This thesis tries to understand and explain the problems facing African international organizations in peacekeeping operations. The focus is on the case of the intervention by the Economic Community of West African States (ECOWAS) in Ivory Coast. The analysis will also discuss, in order to permit comparative analysis, the intervention of this same organization in Liberia, Sierra Leone and Guinea Bissau. This case study in comparative perspective can help to mitigate the disadvantage of a case study, whose main weakness is the problem of generalization from the results of one case. The literature in International Relations and peacekeeping operations is used to develop some hypotheses that we will try to test in this dissertation, specifically: the internal difficulties of international organizations; the problems of lessons learned in terms of peacekeeping operations; the balance of power between and the pursuit of the national interest by members states of the organization; the key role of international and foreign actors, such as former colonial masters, in the peace process; and finally, the problem of coordination between different actors. To answer to the research question, the dissertation will be written in the form of a story with different concentric circles. First, for the internal international organizations difficulties, we will use the functionalist approach which is one of the best theorizations of this issue. However, these internal obstacles are only the tip of the iceberg of the problem because behind the organization we have conflicts of interest between different member states and the intervention of former colonial masters that realists and the neo-marxists would anticipate. Nevertheless, these tend to emphasize more on states. As a consequence, they cannot help us to solve the huge issue of coordination between different actors. To respond to this problem, we turn to the model of multi-level governance and demonstrate its value in analysing this case. For the case of Ivory Coast, Liberia and Sierra Leone, we will use both primary and secondary literatures. However, for the case of Guinea Bissau, we will use only secondary literature. RESUME: Cette thèse vise à comprendre et à expliquer les difficultés des organisations internationales africaines dans le domaine du maintien de la paix. La question est étudiée par le moyen d’une étude de cas mais dans une perspective comparative. Car elle permet d’atténuer l’inconvénient majeur de l’étude de cas qui est la question de la généralisation. En effet, nous analyserons les difficultés de la communauté économique des États d’Afrique de l’Ouest (CEDEAO) dans la gestion de la crise ivoirienne en utilisant les interventions de cette même organisation au Libéria, en Sierra Leone et en Guinée Bissau pour la comparaison à des fins d’apprentissages. La littérature en Relations internationales et sur le maintien de la paix nous a suggéré les hypothèses suivantes que nous testerons : les difficultés intrinsèques des organisations internationales; les difficultés d’apprentissage de ces mêmes organisations dans le domaine du maintien de la paix; les jeux de puissances et d’intérêt entre États membres de l’organisation internationale; la confiscation incomplète des relations internationales ouest africaines par des acteurs, des enjeux et des intérêts étrangers; enfin, il y a la difficulté de la coordination des actions entre les différents acteurs impliqués dans les processus de résolution des crises. Nous répondrons à la question de recherche en forme de récit avec des cercles concentriques. D’abord pour aborder les difficultés intrinsèques, nous convoquerons les fonctionnalistes qui ont théorisé le mieux la question des organisations internationales. Mais, on s’est vite rendu compte que ces difficultés n’étaient que la face visible de l’iceberg et que derrière l’organisation se cachent des jeux de puissances et d’intérêt, mais aussi l’ingérence des anciennes puissances coloniales que les réalistes et les néo-marxistes avaient prévues. Mais ces derniers mettent surtout l’emphase sur l’État. Ce qui ne permet pas de résoudre la lancinante question de la pluralité des acteurs, des conflits de logiques et de l’articulation des efforts des différents intervenants que l’approche de la gouvernance à paliers multiples permet de prévoir. Pour la Côte d’Ivoire, le Libéria et la Sierra Leone nous utiliserons à la fois de la littérature primaire et secondaire. Mais pour la Guinée Bissau, nous nous appuierons uniquement sur de la littérature secondaire.

La recherche sur les soucoupes volantes commence à la fin des années 1940 en France. Elle est principalement le fait de ceux qui se nomment « soucoupistes ». En parallèle de cette activité exercée essentiellement à titre individuel, l’armée mène également ses propres enquêtes. Son intérêt pour la question ne se dément pas depuis les années 1940, même si les informations concernant son implication et son action se révèlent peu accessibles. De leur côté les soucoupistes s’agrègent et les premiers groupements privés d’envergure apparaissent dans les années 1950 et se généralisent à la fin des années 1960. La décennie 1970 correspond, quant à elle, à l’âge d’or de l’ufologie en France : les organisations se comptent par centaines et les ufologues par milliers. Un véritable réseau de recherche scientifique sur les ovnis apparait donc. Ce réseau s’articule autour des groupements de personnes et des individus -qui publient dans des revues spécialisées- et tente de se connecter à une ufologie scientifique publique en plein essor. Cette dernière, placée sous l’égide du CNES, prend le nom de GEPAN. Ce service, plusieurs fois rebaptisé, existe toujours aujourd’hui. Il s’appuie sur l’armée –principalement la gendarmerie- et certaines administrations qui le pourvoient en informations OVNI. L’ufologie française –en déclin depuis les années 1980- se caractérise donc par la coexistence d’un réseau de recherche privé et d’un réseau public qui, hormis en de rares occasions, collaborèrent très peu, cette situation contribuant à la maigreur des résultats obtenus par les ufologues. / The research about unidentified flying objects has started in the late 1940s in France. All this is the doing of those who are commonly known in French as the soucoupistes (the researchers in this field). Currently with this mainly individual initiative, the army also has made their own enquiries. Their interest for the question has proved consistent since the 1940s although the details about their implication and their action have been uneasy to know. As for them, the soucoupistes (or French ufologists) have joined together and the first major private groups have come out in the 1950s to become widespread in the late 1960s. Nonetheless, the decade of the 1970s was the golden age of ufology research in France : there were hundreds of organizations and thousands of ufologists. A real reasearch network came out. This network has revolved both around groups of people and individuals, who publish in specialized reviews, and they try to connect to a booming public scientific ufology. The latter, which is under the aegis of the CNES, is known as GEPAN. The department has been often renamed but still exists today. It is based on the army, mainly on the police force, but also on some administrations which provide them with information about UFO. French ufology, which has been in decline since the 1980s, is characterized by the coexistence of a private research network and a public one. Except for a few occasions, both of them have hardly collaborated and this situation explains why ufologists haven’t found many results.

[pt] Sustenta-se, neste texto, a necessidade de uma nova ossatura para o Estado no Brasil, ante os crescentes e notórios efeitos negativos da globalização sobre os países periféricos. Defende-se, pois um Estado mais eficaz, dotado de sólidas estruturas que o capacitem a enfrentar os interesses corporativos que, até hoje, o tem desviado da consecução de um projeto nacional de desenvolvimento, num quadro de consolidação de experiência do regime democrático. Desdobra-se o trabalho em três partes. A primeira focaliza os principais mecanismos econômicos e financeiros do processo de globalização e seus reflexos sobre diversos países, notadamemte os periféricos. Esta parte foi concebida de modo a introduzir o exame do impacto do fenômeno global sobre o Brasil. Assim, a ela se segue o estudo da configuração jurídica, política e econômica do Estado Brasileiro, a partir da década de 90, constituindo- se numa segunda parte, preparatória à formulação da idéia nuclear da presente. Tese que é a defesa de uma nova ossatura para o Estado em nosso país, desenvolvida na terceira e última parte do documento. Nesta última parte foram escolhidos, como ângulos prioritários de pesquisa e de apresentação de propostas, de um lado a função reguladora do Estado e, de outro, sua atuação reformadora. Sob este último aspecto, deu-se destaque às questões previdenciárias, tributárias e financeiras, estas últimas ilustradas pelo processo de recepção do Sistema Financeiro Imobiliário. / [fr] Dans ce texte, on soutient l´idée que L´Etat Brésilien recquiert une nouvelle ossature face aux effets négatifs, croissants et notoires de la globalization sur les pays périphériques. On plaide donc pour un Etat plus efficace, avec des structures solides qui lui permettent de se défendre des intérêts corporatifs qui l´ont jusqu´à présent dévié de la mise en oeuvre d´un projet national de développement, dans un contexte de reforcement de l´expérience du régime démocratique. Ce travail a été conçu en trois parties. La première met en relief lês principaux mécanismes économiques et financier du processus de globalisation ainsi que ses réflets sur divers pays, notamment les périphériques. Cette partie a été construite de façon à introduire l´examen de l´impact du phénomène global sur lê Brésil. Ainsi elle est suivie par l´étude de la configuration juridique, politique et économique de l´Etat Brésilien a partir dês années 90, qui constitue donc une deuxième partie laquelle prépare la présentation de l´idée-clé de cette Thèse, c´est à dire ela défense d´une ossature nouvelle pour L´Etat dans notre pays, et qui constitue le noyau de la troisième et dernière partie de ce document. Dans celle-ci ont été choisis, comme angles prioritaires de recherche et de présentation de propositions, d´un côté la fonction régulatrice de l´Etat et, d´un autre côté son rôle comme agent des réformes structurelles. Sous ce dernier aspect, on a mis l´accent sur des questions ayant trait à la sécurité sociale, ainsi qu´au système fiscal et à un aspect particulier des questions concernant les finances par l´analyse du processus de réception du Système de Financement Immobilier au Brésil.