Dans un contexte concurrentiel et réglementaire croissant des banques, face à une crise financière qui interroge les usages de l’argent, peut-on faire de la banque autrement ? Nous tentons de répondre à cette question en centrant notre analyse sur le cas de La Nef, petite coopérative de finance solidaire fondée sur un projet alternatif. La Nef, d’abord institution financière et disposant aujourd’hui d’un agrément bancaire, en 20 ans a grandi et s’est professionnalisée. Sa trajectoire est marquée par des formes d’isomorphismes que nous identifions et qui provoquent une hybridation de son modèle coopératif. Nous construisons et analysons l’installation des banquiers itinérants comme innovation organisationnelle dans le but de la réaffirmation du projet coopératif. En apportant de l’hétéromorphisme et de l’hetéropraxisme dans l’organisation, ces banquiers itinérants ancrent l’organisation dans son territoire et les enjeux de son développement. Cette expérimentation constitue-t-elle un processus de reconquête coopérative, et qu’en est-il de sa diffusion ? Nous avons participé et suivi les processus à l’œuvre dans le cadre d’une recherche intervention sur 5 ans. Notre cadre d’analyse s’inscrit dans une perspective néo institutionnaliste et articule isomorphisme, proximité et traduction. Nos résultats montrent que l’implantation des banquiers itinérants redynamise le tissu coopératif et le sociétariat et amène une croissance de l’activité. Elle entraine un rééquilibrage des phénomènes d’hybridation favorable au projet social et à l’activité économique. Le déploiement des Banquiers Itinérants est à l’œuvre et méritera d’être analysé dans les formes de son développement. / In a context of increasing competition and international regulation in the banking system, and facing a financial crisis which questions the uses of money, is another way of banking possible? We try to answer this question through the analysis of the case study of the Nef, a little solidarity-based finance cooperative based on an alternative project. The Nef, at first a financial institution which later in 2014 got a banking agreement, grew up over 20 years and professionalised. We identify the various types of isomorphism which marked its trajectory and cause a hybridisation of its cooperative model. We build up and analyse the set up of itinerant bankers as an organisational innovation, in order to reaffirm the cooperative project. As they bring heteromorphism and heteropraxy into the organisation, these itinerant bankers anchor the organisation in its territory and the stakes of its development. Is this experiment a process of cooperative recovery, and will it spread ? We took part and followed the undergoing processes within a 5 year intervention research. Our analysis focuses on isomorphism, proximity and translation in a neo-institutional perspective. Our results show that itinerant bankers set up revitalise the cooperative system and shareholder relations as well as a business growth. Thus the experience show a rebalancing in hybridisation phenomena favourable to the social project and stimulating economic activity. The deployment of itinerant bankers is recent, and will deserve to be studied in its forms of development.

La reconnaissance de formes s'intéresse à la détection automatique de motifs dans des données d'entrée, afin de pouvoir, par exemple, les classer en catégories. La matière première de ces techniques est bien souvent l'image numérique. Cette dernière, dans sa forme la plus courante, est codée sous la forme d'une matrice de pixels. Néanmoins, la question du développement de représentations plus riches se pose. Ainsi, la structuration de l'information contenue dans l'image devrait permettre la mise en évidence des différents objets représentés, et des liens les unissant. C'est pourquoi nous proposons de modéliser les images numériques sous forme de graphes, pour leur richesse et expressivité d'une part, et pour exploiter les résultats de la théorie des graphes en reconnaissance de formes d'autre part. Nous développons pour cela une méthode d'extraction de graphes plans à partir d'images, basée sur le respect de la sémantique. Nous montrons que nous pouvons, étant donné un graphe, reconstruire avec perte limitée l'image d'origine. Par la suite, nous introduisons les graphes plans à trous, graphes dont les faces peuvent être visibles ou invisibles. Leur justification trouve sa place dans la recherche de motifs notamment, pour laquelle les éléments constituant l'arrière-plan d'une image ne doivent pas être retrouvés. En dirigeant notre attention sur la planarité de ces graphes, nous proposons des algorithmes polynomiaux d'isomorphisme de graphes plans et de motifs ; nous traitons également leur équivalence, qui se trouve être un isomorphisme aux faces invisibles près

L'objet de cette thèse est la méta-théorie du Calcul des Constructions Inductives (CCI), c'est à dire les Calcul des Constructions étendu par des types et des prédicats inductifs. Le Calcul des Constructions a été présenté en 1985 par Thierry Coquand. Il s'agit d'un lambda-calcul typé qui, à travers l'isomorphisme dit de Curry-Howard, peut-être vu comme un formalisme logique. Ce système qui étend à la fois la logique d'ordre superieur de Church et les systèmes de Martin-Löf est particulièrement expressif du point de vue algorithmique et peut facilement être mis en oeuvre sur ordinateur.<br />Dans le Calcul des Constructions originel, les types de données (entiers, listes, sommes, etc) sont représentés dans le lambda-calcul à travers un codage imprédicatif. Cette solution est élégante mais conduit à un certain nombre de difficultés pratiques et théoriques. Pour y remédier, Thierry Coquand et Christine Paulin-Mohring on proposé d'étendre le formalisme par un mécanisme génerique de définitions inductives. C'est cette extension, utilisée dans le système Coq, qui est étudiée dans cette thèse. Le résultat essentiel est que le système vérifie bien la proprieté de normalisation forte. On en déduit les proprietés de cohérence logique, de confluence et de décidabilité du typage.<br />L'aspect le plus spectaculaire de l'extension par des types inductifs est la possibilité de définir de nouveaux types et de nouvelles propositions par récurrence structurelle (élimination forte). Cette caractéristique, qui donne toute sa signification à la notion de types dépendants, augmente énormément le pouvoir de la règle de conversion, et par là, la difficulté de la preuve de normalisation. L'interprétation de l'élimination forte dans une preuve de normalisation par réductibilité est la nouveauté essentielle de ce travail.<br />De plus, nous considérons ici un système avec eta-conversion. Une conséquence est que la propriété de confluence n'est plus combinatoire et doit être prouvée après la normalisation, ce qui augmente à nouveau la difficulté de la preuve de celle-ci. A ce titre, nous présentons également quelques résultats nouveaux sur des systèmes non-normalisants qui montrent que pour des lambda-calculs typés, la propriété de confluence est logique et non combinatoire.

L’étude des organisations de l’économie sociale et solidaire est un champ de recherche émergent situé à la croisée des préoccupations des acteurs des réseaux, des pouvoirs publics et du monde académique. Cette recherche doctorale se veut une contribution à l’étude de la structuration de l’ESS, dans un contexte de transition en Tunisie. Elle s‘appuie sur une méthode qualitative combinant deux niveaux d’analyse. Tout d’abord, la construction de ce champ, sous l’angle de ses indicateurs et processus de structuration a été analysée. Ensuite, nous nous sommes intéressés au rôle des réseaux d’acteurs pour enrichir la compréhension de ce processus. La thèse permet de montrer la contribution des pratiques des acteurs à la structuration de l’ESS, dans un contexte d’instabilité institutionnelle. Les résultats accordent une discussion sur le rôle de l’entrepreneur institutionnel dans la construction d’un nouvel ordre institutionnel. Nous montrons également que le lien entre les réseaux et les institutions peut être conceptualisé comme un capital social qui jouerait un rôle déterminant dans la structuration.Mots clés : économie sociale et solidaire, champ organisationnel, isomorphisme, réseau d’acteur, capital social / The study of the social and solidarity economy (SSE) organizations is an emerging field research located across the convergent point for the common concerns of networks actors, public authorities and academic world. This doctoral research is a contribution to the study of the social economy structure in the context of transition in Tunisia. It is based on a qualitative method that combines two levels of analysis. Firstly, we studied the construction of this field, in terms of its indicators and structuring processes. Then, we have moved to study the role of networks actors in order to deeply understand this process. This thesis, leads to highlight the contribution of the practices of actors in the SSE structuring, in the context of institutional instability. Results discuss the role of the institutional entrepreneur in the construction of a new institutional arrangement. We, as well, show that the link between networks and institutions could be conceptualized as a social capital which plays a determinant role in the structuring.Key words: social and solidarity economy, organizational field, network actors, isomorphism, social capital

Les composants des marchés financiers peuvent être vus comme une chaîne globale de production de confiance, c’est-à-dire de crédit. Nous appelons cet ensemble de d’acteurs, de règles du jeu et d’outils le Financial Assets Production System (FAPS). Dans le cadre d’une grille de lecture institutionnaliste (Veblen, Coase, North, Williamson) nous essayons de décrire et comprendre la production concrète des actifs financiers, leur système de production et de circulation. Puis nous illustrons par quelques exemples sur les structures globales des marchés, les composants et leurs relations, l'hypothèse "nationality defines organisational rationality". Cette hypothèse est étayée par les nombreux travaux d’anthropologues (Hall, Godelier), sociologues (Banfield, d’Iribarne, Mauss), économistes (Akerlof, Breuer, Tarde, Rugman), autres spécialistes des sciences sociales (historiens, politologues) et techniciens du management interculturel (Hofstede, Trompenaars). « Institutions and culture matter ». La culture nationale, par opposition aux autres référentiels culturels, modèle en partie les composants du marché et leur fonctionnement. Dans cette perspective nous ouvrons la réflexion sur les impacts du déploiement mondial des pratiques de standardisation-certification des services, produits et processus financiers. Et donc sur une potentielle déculturation des structures de marché et leur convergence vers un éventuel modèle « pur », sans marqueurs culturels, de production d’actifs financiers. En d’autres termes, ces réducteurs d’incertitude que sont les normes et leur utilisation sont-ils des « effaceurs de culture » en produisant un isomorphisme institutionnel volontaire ? Notre idée directrice est que la culture nationale n’est pas soluble dans l’ISO, mais au contraire peut s’y révéler. Les caractéristiques nationales ou civilisationnelles des systèmes de production d’actifs financiers ne sont pas sur le point de disparaître, les développements rapides des formes prises par la finance éthique sont là pour corroborer cette hypothèse. / Financial market components can be seen as a global credit production system. We call this global intermediation chain and its different links the Financial Assets Production System (FAPS).Institutional economics (Veblen, Coase, North, Williamson) provide some guidelines and tools to understand the production and distribution processes of financial assets. The aim is to describe, using examples, the way asset production is national specific. “Nationality defines organizational rationality”. This hypothesis is supported by some findings in anthropology, sociology, political science, history and the intercultural management school. “Institution and culture matter” is the motto of institutional approach. National culture, a specific level of cultural approach, has a readable impact on some market components and related functioning.But if market organization is national specific, what could be the impact of the on-going roll-out of international technical standards on those cultural layers. If standards are national culture erasers does it mean that there is a culture-free market model? And that a universal functional isomorphism, due to standards usage, provides more rational market practices to global players? Our findings are that national cultural market practices are not disappearing with standards global roll-out. Most of the time national cultures are still embedded in universal standards used by market players. The swift development of Ethical Finance seems to support the idea that domestic cultures are still strong drivers in financial markets set up.

Notre objectif est d’évaluer et de rendre opérationnelle la décomposition de problèmes d’optimisation sous contraintes. Nous nous sommes intéressés à deux problèmes en particulier : le problème de la recherche d’un plus grand sous-graphe commun (MCIS), et le problème de somme coloration minimale (MSCP). Il s’agit de problèmes NP-difficiles pour lesquels les approches de résolution complètes passent difficilement à l’échelle, et nous proposons de les améliorer à cet égard en décomposant ces problèmes en sous-problèmes indépendants. Les décompositions que nous proposons s’appuient sur la structure du problème initial pour créer des sous-problèmes de tailles équilibrées. Pour le MCIS, nous introduisons une décomposition basée sur la structure du graphe de compatibilité, et nous montrons que cette décomposition permet d’obtenir des sous-problèmes plus équilibrés que la méthode EPS classiquement utilisée pour paralléliser la résolution de problèmes en programmation par contraintes. Pour le MSCP, nous introduisons une nouvelle décomposition arborescente de hauteur bornée, et nous montrons comment tirer partie de la complémentarité de la programmation par contraintes et de la programmation linéaire en nombres entiers pour obtenir et résoudre les sous-problèmes indépendants qui en découlent. Nous proposons également une approche portfolio qui utilise des techniques d’apprentissage automatique pour choisir dynamiquement l’approche la plus performante en fonction du problème à résoudre. / The objective of this thesis is, from a general standpoint, to design and evaluate decomposition methods for solving constrained optimisation problems. Two optimisation problems in particular are considered: the maximum common induced subgraph problem, in which the largest common part between two graphs is to be found, and the sum colouring problem, where a graph must be coloured in a way that minimises a sum of weights induced by the employed colours. The maximum common subgraph (MCIS) problem is notably difficult, with a strong applicability in domains such as biology, chemistry and image processing, where the need to measure the similarity between structured objects represented by graphs may arise. The outstanding difficulty of this problem makes it strongly advisable to employ a decomposition method, possibly coupled with a parallelisation of the solution process. However, existing decomposition methods are not well suited to solve the MCIS problem: some lead to a poor balance between subproblems, while others, like tree decomposition, are downright inapplicable. To enable the structural decomposition of such problems, Chmeiss et al. proposed an approach, TR-decomposition, acting at a low level: the microstructure of the problem. This approach had yet to be applied to the MCIS problem. We evaluate it in this context, aiming at reducing the size of the search space while also enabling parallelisation. The second problem that caught our interest is the sum colouring problem. It is an NP-hard variant of the widely known classical graph colouring problem. As in most colouring problems, it basically consists in assigning colours to the vertices of a given graph while making sure no neighbour vertices use the same colour. In the sum colouring problem, however, each colour is associated with a weight. The objective is to minimise the sum of the weights of the colours used by every vertex. This leads to generally harder instances than the classical colouring problem, which simply requires to use as few colours as possible. Only a few exact methods have been proposed for this problem. Among them stand notably a constraint programming (CP) model, a branch and bound approach, as well as an integer linear programming (ILP) model. We led an in-depth investigation of CP's capabilities to solve the sum colouring problem, while also looking into ways to make it more efficient. Additionally, we evaluated a combination of integer linear programming and constraint programming, with the intention of conciliating the strong points of these highly complementary approaches. We took inspiration from the classical backtracking bounded by tree decomposition (BTD) approach. We employ a tree decomposition with a strictly bounded height. We then derive profit from the complementarity of our approaches by developing a portfolio approach, able to choose one of the considered approaches automatically by relying on a number of features extracted from each instance.

Cette étude présente : 1) une définition "isomorphique des langages" afin d'établir un langage machine (LM) de la machine langage de haut niveau (LHN); 2) un traducteur isomorphe de cette machine LHN. Le langage I-Pascal est analysé dans le cadre de ce formalisme et le traducteur isomorphe de Pascal est construit sur la syntaxe modifiée en cherchant une possibilité de réalisation par des modules matériels, éventuellement par des systèmes VLSI

La reconnaissance de formes s'intéresse à la détection automatique de motifs dans des données d'entrée, afin de pouvoir, par exemple, les classer en catégories. La matière première de ces techniques est bien souvent l'image numérique. Cette dernière, dans sa forme la plus courante, est codée sous la forme d'une matrice de pixels. Néanmoins, la question du développement de représentations plus riches se pose. Ainsi, la structuration de l'information contenue dans l'image devrait permettre la mise en évidence des différents objets représentés, et des liens les unissant. C'est pourquoi nous proposons de modéliser les images numériques sous forme de graphes, pour leur richesse et expressivité d'une part, et pour exploiter les résultats de la théorie des graphes en reconnaissance de formes d'autre part. Nous développons pour cela une méthode d'extraction de graphes plans à partir d'images, basée sur le respect de la sémantique. Nous montrons que nous pouvons, étant donné un graphe, reconstruire avec perte limitée l'image d'origine. Par la suite, nous introduisons les graphes plans à trous, graphes dont les faces peuvent être visibles ou invisibles. Leur justification trouve sa place dans la recherche de motifs notamment, pour laquelle les éléments constituant l'arrière plan d'une image ne doivent pas être retrouvés. En dirigeant notre attention sur la planarité de ces graphes, nous proposons des algorithmes polynomiaux d'isomorphisme de graphes plans et de motifs ; nous traitons également leur équivalence, qui se trouve être un isomorphisme aux faces invisibles près.

L'isomorphisme inexact de graphes est un problème crucial pour la définition d'une distance entre graphes, préalable nécessaire à une multitude d'applications allant de l'analyse d'images à des applications biomédicales en passant par la reconnaissance optique de caractères. Ce problème est encore plus complexe que celui de l'isomorphisme exact. Alors que ce dernier est un problème de décision de complexité au moins de classe P et qui ne s'applique qu'à des graphes exactement identiques, l'isomorphisme inexact est un problème combinatoire de complexité de classe NP qui permet de prendre en compte des perturbations dues au bruit, qui apparaissent fréquemment dans les applications réelles. Dans ce cadre, nous choisissons d'étudier une solution basée sur les algorithmes génétiques pouvant être appliquée à l'isomorphisme exact et inexact. Nous proposons des opérateurs de croisement généraux pour tout problème représenté par un codage de permutation, ainsi que des opérateurs spécifiques à l'isomorphisme de graphes qui exploitent une heuristique gloutonne. Nous réalisons une étude exhaustive pour comparer ces opérateurs avec les opérateurs existants, soulignant leurs propriétés, avantages et inconvénients respectifs. Nous étudions par ailleurs plusieurs pistes d'amélioration de l'algorithme, en théorie ou en pratique, considérant successivement les objectifs d'accélération de l'exécution, d'augmentation de la précision et de garantie de résultat optimal. Nous proposons pour cela de combiner l'approche proposée avec d'autres techniques telles que des heuristiques générales comme la recherche locale, des heuristiques dédiées comme l'algorithme A*, et des outils pratiques comme la parallélisation. Ces travaux conduisent à la définition d'une méthode générique pour la résolution de tous les problèmes d'isomorphismes de graphes, qu'il s'agisse d'isomorphismes exact ou inexact, d'isomorphismes de graphes de même taille ou d'isomorphismes de sous-graphes. Nous illustrons enfin la validité de cette solution générale par trois applications concrètes issues de domaines différents, la recherche d'images et la chimie, qui présentent chacune des caractéristiques spécifiques, utilisant des graphes attribués ou non, soumis aux perturbations plutôt structurelles ou au niveau d'attributs.

Cette thèse porte sur trois problèmes en combinatoire algébrique effective et algorithmique.Les premières parties proposent une approche alternative aux bases de Gröbner pour le calcul des invariants secondaires des groupes de permutations, par évaluation en des points choisis de manière appropriée. Cette méthode permet de tirer parti des symétries du problème pour confiner les calculs dans un quotient de petite dimension, et ainsi d'obtenir un meilleur contrôle de la complexité algorithmique, en particulier pour les groupes de grande taille. L'étude théorique est illustrée par de nombreux bancs d'essais utilisant une implantation fine des algorithmes. Un prérequis important est la génération efficace de vecteurs d'entiers modulo l'action d'un groupe de permutation, dont l'algorithmique fait l'objet d'une partie préliminaire.La quatrième partie cherche à déterminer, pour un certain quotient naturel d'une algèbre de Hecke affine, quelles spécialisations des paramètres aux racines de l'unité donne un comportement non générique.Finalement, la dernière partie présente une conjecture sur la structure d'une certaine $q$-déformation des polynômes harmoniques diagonaux en plusieurs paquets de variables pour la famille infinie de groupes de réflexions complexes.Tous ces chapitres s'appuient fortement sur l'exploration informatique, et font l'objet de multiples contributions au logiciel Sage.