Le cadre de cette thèse est l'analyse statique modulaire par interprétation abstraite de logiciels en vue de leur vérification automatique. Nous nous intéressons en particulier aux programmes comportant des objets alloués dynamiquement sur un tas et repérés par des pointeurs. Le but final étant de trouver des erreurs dans un programme (problèmes de déréférencements et d'alias) ou de prouver qu'un programme est correct (relativement à ces problèmes) de façon automatique. Isthiaq, Pym, O'Hearn et Reynolds ont développé récemment des logiques de fragmentation (separation logics) qui sont des logiques de Hoare avec un langage d'assertions/de prédicats permettant de démontrer qu'un programme manipulant des pointeurs sur un tas est correct. La sémantique des triplets de la logique ({P}C{P

Ces travaux s'intéressent à la micro-hydrodynamique des écoulements sanguins cérébraux dans les réseaux micro-vasculaires. A partir d'images tridimensionnelles haute résolution obtenues par micro-tomographie, les réseaux micro-vasculaires sont numérisés après différentes étapes de traitement d'images. Une résolution numérique approchée des écoulements sanguins quasi-statique de type réseau est développée. Cette approche permet à la fois de prendre en compte la structure géométrique micro-vasculaire complexe et les interactions hydrodynamiques non-locales des hématies confinées qui s'écoulent en son sein. La méthode proposée permet l'évaluation des distributions de pression, d'hématocrite et de débit sur des volumes cérébraux d'une dizaine de millimètres cube où quelques dizaines de milliers de segments vasculaires sont présents. L'analyse systématique des modèles de rhéologie sanguine existant montrent la prépondérance du choix du modèle de viscosité, à opposer au faible impact de la séparation de phase sur l'écoulement, phénomène pour lequel nous proposons aussi une modélisation alternative. De plus, nous avons analysé la perfusion sanguine cérébrale, et l'organisation générale des écoulements corticaux. Dans la situation physiologique normale, nous quantifions les territoires vasculaires qui sont les unités fonctionnelles micro-vasculaires. Nous évaluons leur évolution et leur robustesse dans des contextes pathologiques modèles et notamment pour les micro-accidents vasculaires cérébraux.

La gamme des produits de charcuterie 100% volaille qui présente un intérêt particulier à la Réunion est limitée par les mauvaises propriétés technologiques des gras de volaille. Le procédé de fractionnement à sec a été appliqué à la matière grasse de volaille extraite des tissus adipeux afin d'en améliorer les propriétés. L'étude fondamentale du procédé a permis de mettre en évidence les mécanismes mis en jeu et de mieux comprendre l'influence de l'itinéraire thermique sur le procédé. Un modèle de prédiction de la qualité des fractions en fonction des variables de contrôle a été élaboré. La caractérisation des échanges thermiques ayant lieu au cours du refroidissement permet le suivi du flux de chaleur lié à la cristallisation. A température ambiante, la fraction liquide s'apparente à une huile fluide et la fraction solide présente des caractéristiques physiques proches d'autres matières grasses animales telles que le saindoux ou le suif.

L'une des principales difficultés dans l'utilisation de capteurs chimiques concerne le manque de sélectivité inhérent à ces dispositifs. La stratégie classique pour faire face à ce problème est fondée sur le développement de nouvelles membranes qui conduisent à des capteurs plus sélectifs. Toutefois, plus récemment, on a démontré que ce problème peut également être traité par une autre approche, dans laquelle l'acquisition de données est effectuée par un réseau de capteurs qui ne sont pas forcément sélectifs. Ainsi, dans une deuxième étape, les informations pertinentes sont récupérées à l'aide des outils de traitement de signal. L'un des bénéfices le plus remarquable dans cette démarche concerne la flexibilité du système de mesure : le même réseau de capteurs peut être utilisé pour réaliser différents types d'analyse. Dans cette thèse, nous étudions l'utilisation de réseaux de capteurs dans le problème de l'analyse chimique quantitative. Cependant, contrairement à la grande majorité des travaux dans cette ligne, notre approche envisage des solutions non-supervisées, n'ayant pas besoin d'une étape d'étalonnage. Cette situation peut être formulée comme un problème de séparation aveugle de sources. Puisque les capteurs chimiques considérés dans cette recherche présentent des réponses non-linéaires, le processus de mélange sous-jacent au réseau de capteurs est non-linéaire, ce qui rend le problème difficile. Les principales contributions de cette recherche sont liées justement au développement de méthodes de séparation des mélanges non-linéaires sur mesure pour les réseaux d'électrodes sélectives potentiométriques. Nous considérons des solutions fondées sur l'analyse en composantes indépendantes, mais également sur d'autres stratégies qui nous permettent de prendre en compte des connaissances a priori typiques dans l'application ciblée dans cette recherche, comme la positivité des activités chimiques.

Dans de nombreux problèmes industriels, l'agencement des différents composants joue un rôle déterminant sur les performances du système à concevoir. Ces problèmes de placement ont fait l'objet de nombreux travaux dans la littérature ; toutefois les méthodes de résolution généralement proposées sont spécifiques et ne peuvent être appliquées à différents problèmes. Ce travail propose une méthode générique pour la résolution des problèmes de placement. La méthode présentée est une hybridation d'un algorithme évolutionnaire avec une méthode de séparation. L'algorithme évolutionnaire est un algorithme génétique multi-objectif chargé d'explorer efficacement l'espace de recherche et l'algorithme de séparation a pour objectif de faire respecter les contraintes de placement du problème. Si les contraintes de placement d'une solution proposée ne sont pas respectées, l'algorithme de séparation modifie la solution de manière à la rendre réalisable. La méthode de séparation a été développée pour des cas simples comme pour des cas compliqués en 2D et 3D et permet la gestion de contraintes particulières. Différents exemples 2D sont présentés avec plusieurs analyses permettant de comprendre les mécanismes mis en jeu lors de la résolution des problèmes de placement. Les éléments de résolution des problèmes 3D de géométries complexes sont aussi présentés. Par rapport aux algorithmes ad-hoc de la littérature, notre méthode générique permet de résoudre une grande variété de problèmes avec des temps de calculs du même ordre de grandeur. Enfin, les différents avantages et possibilités de la méthode permettent de nombreux développements futurs.

Cette thèse a pour sujet la réutilisation des préoccupations dans le paradigme de l'objet. De nombreux langages et modèles pour la séparation des préoccupations existent dans la littérature. Leurs limitations nous ont permis d'isoler toutes les propriétés nécessaires pour réutiliser facilement les préoccupations. Ces propriétés sont principalement : i) l'encapsulation de la composition au sein d'entité réifié (qui doivent pouvoir être abstraite, et supporter l'héritage), et ii) un panel assez varié d'opérateurs d'adaptation (encapsulé par les entités précédemment citées) est nécessaire à la composition de préoccupations dans l'objet. Aucun langage ou modèle de la littérature ne procure actuellement ces propriétés. Nous avons donc construit un modèle réunissant toutes ces propriétés, qui a été implémenté sous la forme d'un plug-in pour l'environnement de développement Eclipse. Nous avons validé notre implémentation sur les mêmes exemples qui ont été utilisés pour dresser les manques de la littérature. Enfin, nous évoquons les perspectives d'utilisation de notre modèle dans le paradigme des composants et dans l'approche MDA.

La coacervation complexe, une séparation de phase associative principalement induite par des interactions électrostatiques, entre la ß-lactoglobuline (BLG, protéine animale) et la gomme d'Acacia (AG, polysaccharide végétal) a été étudiée dans ce travail. La plus grande difficulté pour comprendre la coacervation complexe au niveau moléculaire entre BLG et AG révèle être la polymolécularité élevée d'AG. A partir de là, la motivation principale de cette thèse était de comprendre et contrôler les interactions entre la BLG et les fractions moléculaires d'AG, FI (~88% d'AG) et FII (~10% d'AG) en utilisant la titration calorimétrique isotherme, la diffusion statique et dynamique de lumière, la mobilité électrophorétique, la Granulo- Polarimétrie et la microscopie optique. Une énergie d'interaction plus forte, une stoechiométrie d'association plus faible et ainsi une complexation favorable ont étés montrées entre la BLG et FII en relation avec l'accessibilité et la densité de charges plus élevées de FII. Les résultats majeurs de cette étude ont ainsi montré des rôles différents des fractions de l'AG dans la coacervation complexe avec la BLG.

Des couches minces et des membranes photoactives à base d'anatase nanocristalline et à mésoporosité ordonnée, obtenues par effet d'empreinte de mésophases structurantes, ont été réalisées en vue du couplage direct séparation membranaire et réaction photocatalysée. Une méthode de synthèse par voie sol-gel de sol d'anatase nanocristalline à basse température a été mise au point. Des couches minces et des membranes mésostructurées ont été préparées à partir de ce sol en utilisant des copolymères triblocs de type poly (oxy éthylène)- bloc – poly (oxy propylène)- bloc – poly (oxy éthylène). Ces molécules amphiphiles forment par auto-assemblage des mésophases structurantes. Deux mésostructures différentes ont été obtenues : une mésostructure initialement hexagonale 2D de type cristallographique p6mm, correspondant à un arrangement compact de micelles cylindriques puis de pores cylindriques, et une mésostructure cubique de type cristallographique Fm3m, présentant des pores sphériques, issue d'une mésophase micellaire cubique. Nous avons montré qu'il est possible de détruire la mésophase structurante à basse température (150°C), en utilisant les propriétés photocatalytiques de l'anatase. Ceci permet d'envisager le dépôt de ces couches minces sur des supports thermosensibles. Nous avons aussi exploré la possibilité de réaliser des couches mixtes ordonnées TiO2/SiO2 et des films dopés pour étendre le domaine de la photoactivité du matériau vers la lumière visible. Ces couches minces et ces membranes ont été testées en photocatalyse. Elles ont montré leur efficacité élevée. Des tests préliminaires de couplage direct séparation/photodégradation ont été réalisés sur une solution aqueuse de bleu de méthylène. Les membranes ont été également caractérisées en perméation des liquides et des gaz.

Dans la théorie psychanalytique, le père représente un intérêt majeur par le rôle qu'il tient dans la structuration du psychisme. Freud et ses successeurs ont permis de déterminer la fonction psychique spécifique qui lui est assignée. Le père est celui qui médiatise la relation entre la mère et l'enfant et autorise les relations entre les générations. C'est ce que Lacan a appelé la fonction paternelle. Les mutations structurales apportées par cette fonction ne sont pas tant attribuables au père qu'au triangle oedipien. La fonction du père est donc essentiellement symbolique. Les avancées scientifiques et idéologiques de notre société moderne ont entraîné une révolution des familles. La clinique actuelle s'interroge sur la fonction paternelle au sein des nouvelles familles et des nouveaux modes de vie. II semble que la fonction varie selon le milieu ethnoculturel par exemple ou encore se modifie compte tenu des phénomènes d'adoptions, des nouveaux modes de reproductions et de la recomposition des familles (Levet, 2006; Tort, 2005; Castelain Meunier, 2003; Delaisi de Parseval, 2000; Hurstel, 2000; Théry, 1987). Les bouleversements des rôles au sein de la famille inquiètent divers acteurs dans nos communautés et ont incité plusieurs chercheurs à porter leur intérêt sur l'engagement paternel post-rupture par exemple. Ces recherches s'élaborent à partir de l'approche écologique ou des modèles de l'adaptation au stress et au changement familial. Cependant, peu de chercheurs se sont intéressés, d'un point de vue psychanalytique, à l'expérience subjective des pères suite à la séparation et à la perte partielle de la garde de leur enfant. La présente recherche s'est intéressée à trois de ces pères québécois. Au plan théorique, la recherche s'est inspirée principalement des écrits de Freud, de Totem et Tabou en particulier, et des travaux de P.L. Assoun, J, Dor, P. Legendre, M. Hanus et F. Hurstel sur la fonction symbolique du père et sur le travail du deuil. De plus, un regard est porté sur le sens donné à la fonction paternelle dans le cadre d'une société en changement sur le plan de la famille et des relations conjugales. Des entrevues individuelles semi-dirigées ont été menées à deux reprises auprès de trois pères qui ont perdu la garde de leur enfant suite à une séparation. Les pères avaient toutefois du temps de garde octroyé par la Cour. Nous avons choisi une méthodologie de recherche qualitative qui s'inspire, au niveau de la collecte des données, de l'analyse par théorisation ancrée de Paillé (1994). L'analyse de contenu s'est inspirée de l'analyse thématique de Paillé et Mucchielli (2003). Ce type d'analyse fait intervenir des procédés de réduction des données. L'analyse des récits a donné lieu à un arbre thématique de treize thèmes descriptifs qui sont rattachés à ces cinq rubriques: le couple, la paternité, les crises, le système judiciaire et la garde des enfants. Ces données, de très faible inférence, reflètent l'histoire des sujets. Ensuite, une analyse dynamique permet d'identifier des thèmes interprétatifs plus conceptualisants qui renvoient aux blessures du passé, aux défenses inconscientes et aux phénomènes qui caractérisent l'expérience actuelle des pères. Des abandons et des pertes dans l'enfance difficile des sujets viennent expliquer une sur-idéalisation du père des sujets qui est décrit comme un « tout ». Cette édification du père est interprétée comme une forteresse narcissique visant à protéger les sujets du désaveu du « bon père » de la part de la conjointe et du système judiciaire dans ce contexte de crise. Nous proposons que le refus du deuil actuel du père idéalisé auquel le père s'identifie a pu occasionner une hyper-agitation dans la lutte. Cette lutte devient une tentative du maintien de la défense et peut mener à une forme de distorsion du processus de paternalisation et des rôles père-enfant au sein de la relation. Nous situons le vécu de ces pères dans le registre d'un deuil impossible à faire au risque d'une désorganisation psychique du Moi. L'identification importante au parent tout-puissant a maintenu l'identité fragilisée dans l'enfance et est réactualisée dans cette problématique familiale. Pour ces pères, l'épouse et les magistrats viennent détruire cette théorie infantile et déstabilisent leur identité. Un essai d'interprétation clinique conclut l'analyse dynamique. Une écoute particulière du silence sur la place des enfants dans les récits des sujets sert d'indicateur pour une réflexion sur la souffrance de ces hommes et sur la clinique. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Père, Perte, Garde d'enfant, Travail du deuil, Fonction paternelle.

La nanofluidique est l'étude du transport de molécules au travers de nanostructures filtrantes dont la taille avoisine l'épaisseur de la double-couche diffuse à la surface du verre. A cette échelle de la centaine de nanomètres, la charge de surface qui induit une exclusion des ions négatifs à l'extérieur du "nanofiltre" produit un effet de rétention des biomolécules. Des études menées sur le transport électrocinétique au sein d'un nanocanal unique ont permis de montrer qu'il était théoriquement possible de concentrer des solutions, même fortement diluées, avec des taux élevés (jusqu'à 103) grâce à un effet de concentration de polarisation. Ce phénomène pourrait être exploité dans de nombreuses applications de diagnostic médical (analyses rapides et précoces d'échantillons bruts), de contrôle qualité (agroalimentaire) ou encore de défense (suivi continu de zones à risques pour la menace terroriste biologique).La modélisation de la dynamique des phénomènes d'électropréconcentration (sous champ électrique) et de rétention (sous gradient de pression) d'un nanocanal unique s'avère extrêmement ardue. Une multitude d'observations, souvent contradictoires quant au profil de préconcentration obtenu, ont été par ailleurs rapportées dans la littérature, avec des points focaux de préconcentration observés parfois du côté anodique ou du coté cathodique pour une même protéine. Certaines expériences observent ces points focaux soit très loin en amont dans le microcanal réservoir soit directement à proximité de l'entrée du nanocanal. C'est dans ce contexte qu'a été développé précédemment un modèle unidimensionnel permettant de prédire le profil de concentration de l'analyte en tout point de la structure MNM(Micro/Nano/Microcanal) proposée. Ce travail de modélisation a démontré l'existence de quatre régimes distincts: deux régimes coté anodique et deux régimes coté cathodique, plus ou moins éloignés du nanocanal. Ce modèle a mis en avant la sélectivité de ce processus vis-à-vis de la mobilité électrophorétique et de la valence des analytes préconcentrés, et il a permis d'appréhender un peu mieux la diversité des expériences rapportées. Cependant, le régime de préconcentration obtenu dépend du bioanalyte étudié. Il serait pourtant intéressant de ne plus être tributaire des caractéristiques intrinsèques de la solution analysée et de ne plus subir le régime obtenu mais, au contraire, d'effectuer ce que l'on pourrait appeler une électropréconcentration sélective du dit analyte. Ceci pourrait permettre d'effectuer deux étapes primordiales de tout diagnostic que sont la séparation et la préconcentration d'un mélange. Pour se faire, nous avons introduit un paramètre expérimental, une composante hydrodynamique (ou surpression), en sus du champ électrique, pour moduler la localisation de la préconcentration.A l'aide d'une technologie "tout verre" récemment brevetée, nous élaborons aujourd'hui des puces intégrant une nanofente dans un long microcanal. Ces puces sont parfaitement isolantes, biocompatibles et présentent une tenue exceptionnelle au cours du temps. Elles sont combinées à un banc expérimental "fait maison" complètement automatisé (interfacé avec Matlab), qui permet de contrôler les différents paramètres imposés. Les données recueillies sont ensuite prétraitées par d'autres codes Matlab que nous avons développés. Grâce à ces divers outils, de nombreuses expériences d'électropréconcentration "classique" (champ électrique seul) et assistée en pression ont été réalisées pour deux bioanalytes modèles : la fluorescéine et la BSA (Bovin Serum Albumin). Elles ont permis de déterminer les différents paramètres influant sur la préconcentration de ces deux analytes et de prouver la sélectivité et l'efficacité de la méthode proposée ici. Des régimes de préconcentration inattendus, stables et présentant des taux élevés ont en effet été obtenus au cours de cette thèse.