D'origine essentiellement religieuse, la répudiation est la rupture unilatérale et discrétionnaire du mariage décidée par l'époux. En droit musulman, elle permet au mari de mettre un terme à la relation maritale sans avoir à se justifier. En France, cette institution est critiquée et même rejetée tant elle paraît étrangère à la civilisation européenne. Pourtant, à y regarder de plus près, la rupture unilatérale et discrétionnaire du couple existe en droit français sous l'appellation de " divorce pour altération définitive du lien conjugal " pour le mariage, mais encore de "rupture unilatérale " s'agissant du pacte civil de solidarité et du concubinage. La différence tient au titulaire de l'exercice de ce droit, alors que la répudiation ne peut être mise en oeuvre que par l'homme, la rupture unilatérale et discrétionnaire du mariage, du PACS et du concubinage peut être décidée par l'homme ou la femme. Toutefois, fondamentalement, les effets sont les mêmes : l'un décide, l'autre subit. Que la rupture soit judiciaire ou non judiciaire, ce mode de dissolution laisse perplexe quant à l'attitude du juge et du législateur français face à la répudiation. Le premier refuse, depuis le 17 février 2004, de reconnaître des effets aux répudiations musulmanes en France sous couvert de la violation du principe d'égalité entre époux. Le second, cautionne la rupture unilatérale et discrétionnaire au sein du couple.

Ce document présente une synthèse des travaux de recherche effectués par l'auteur depuis 2000 au Massachusetts Institute Of Technology(MIT) puis à l'École Polytechnique Fédérale de Lausanne(EPFL). Ces travaux sont essentiellement axés sur les méthodes de bases réduites avec bornes d'erreur permettant la prédiction rapide et fiable de quantités issues de solutions d'équations aux dérivées partielles. L'implémentation de ces méthodes est complexe et l'auteur a également proposé et développé des outils innovants afin de tirer profit de celles-ci à moindre coût en termes de développement. cours et perspectives de recherche. Par ailleurs, ce document présente quelques travaux en cours et perspectives de recherche.

Cette thèse présente une étude qui répond à un besoin industriel d'avoir des outils pour aider à la qualité et au respect des processus de développement de logiciels critiques comme ceux du domaine de l'avionique civile. Il s'agit de l'étude de la couverture de code structurelle pour un langage de la famille ML. Dans ce contexte, ML apparaît comme un langage particulièrement riche en constructions de haut-niveau d'abstraction et expressif. Son utilisation est un élément de progrès mais soulève des problèmes d'adaptation des pratiques du génie logiciel classique pour les systèmes critiques. Notamment, la notion de couverture des conditions et des décisions ainsi que les critères de couverture dérivés se complexifient rapidement. Nous donnons alors en première contribution plusieurs sémantiques pour l'interprétation des définitions des conditions et des décisions pour un langage d'expressions de haut-niveau que nous avons complètement formellement défini. Ensuite, nous donnons la sémantique formelle pour une implantation pour la mesure de couverture par réécriture du code source, ce que nous appelons l'instrumentation intrusive. Puis, nous étudions une technique qui ne réécrit pas le code, ce qui permet d'avoir la possibilité d'utiliser le même binaire pour les tests et pour la production. Cette technique, que nous appelons non intrusive, consiste à générer les informations de correspondance entre le code source et le code machine, et éventuellement d'autres informations, pour que l'environnement d'exécution incluant une machine virtuelle puisse enregistrer les traces nécessaires à l'élaboration des rapports de couverture. Enfin, nous comparons ces deux approches, en terme de sémantique, d'utilisation et d'implantation.

Les impressionnantes avancées techniques et technologiques dans les deux domaines des semiconducteurs et de l'ingénieurie logicielle ont permis aux Système sur puces (System-on-Chip "SoC") d'intégrer des applications complexes et interdépendantes. Ces progrès vont de pair avec la complexité accrue des systèmes et de leur hétérogénéité. Ainsi, les concepteurs ont été forcé à réévaluer leurs méthodes de conception et d'élever le niveau d'abstraction au niveau système en ciblant la conception de l'ensemble du SoC plutôt que des composants individuels. L'objectif de ce travail de thèse est de fournir aux concepteurs systèmes les moyens nécessaires (au niveau méthodologique et au niveau outils) pour estimer les performances du système et évaluer rapidement les décisions de conception, idéalement trés tôt dans le flot de conception. Notre contribution portera sur deux aspects principaux: (1) L'aspect conceptuel: où nous avons défini (en utilisant les concepts de métamodélisation UML) des concepts de modélisation permettant d'étudier l'effet de la gestion et du partage des ressources sur les performances globales du système (les "noeuds virtuels") . En outre, nous avons introduit le concept de "Patron de communication" pour la modélisation de l'interaction entre les éléments d'architecture afin d'assurer l'orthogonalisation des concepts de l'exécution et de la communication. (2)L'aspect simulation: Un simulateur en SystemC a été développé pour simuler les modèles UML proposés. La simulation est faite à haut niveau d'abstraction et elle est plus rapide que l'exécution en temps réel. L'approche proposée a été appliquée pour la modélisation de la couche physique du protocole de télécommunications mobile de 4ème génération (LTE, Long Term Evolution) sur un DSP muli-core produit par Freescale. Les résultats ont été validés en les comparant avec l'implémentation réelle. Thèmes clés: Modélisation et conception au niveau système, UML pour les systèmes embarqués, la gestion et le partage des ressources, la modélisation de la communication, l'estimation des performances, les systèmes de télécommunication

Les projets de gestion des processus métiers apparaissent de plus en plus présents dans les préoccupations des décideurs. Ils semblent apporter de nombreux bénéfices, mais ils amènent les organisations à devoir dépasser d'importantes difficultés ; elles devront concilier de nombreuses contraintes, internes - en termes de performance ou de gestion de leurs ressources - ou externes - notamment en termes de contraintes de normalisation et/ou réglementaires -, source d'équivocité pour les acteurs. Notre problématique est alors la suivante : dans une situation fortement équivoque telle que la prise en compte d'une nouvelle norme, quelle méthodologie de management des processus permettrait de mieux concilier les contraintes internes et externes de l'organisation ? Nous proposons de nous appuyer sur un cas original d'adaptation d'une organisation industrielle aux contraintes de normalisation et sur l'étude de la littérature portant sur le management des processus, la création de sens et la théorie de la régulation sociale. Notre objectif est de mettre en évidence les caractéristiques d'un dispositif de management des processus qui puisse répondre à notre questionnement. Nous proposerons et défendrons alors la thèse suivante : les démarches de management des processus trouvent un réel écho auprès des managers car elles sont susceptibles de les aider à créer du sens, grâce aux cadres que leur mise en place suppose et aux interactions qu'elles permettent.

Cette recherche se propose d'explorer les ambiances olfactives dans l'espace construit, de façon à se donner des moyens pour en tenir compte dans la conception architecturale. Il s'agit de mieux comprendre les modes d'apparition, de transition ou de disparition de l'odeur dans l'espace, si possible dans leurs rapports à des dispositifs techniques et/ ou spatiaux. La démarche de conception du bâti implique une anticipation des ambiances des futurs espaces. Après une première exploration des propriétés essentielles de l'espace olfactif humain, une enquête (de type sociologique) a permis de dégager certaines propriétés de l'interprétation olfactive située, qui apparaît le plus souvent comme la résultante d'une combinaison de facteurs physico-chimiques, physiologiques et socioculturels. Le paradigme d'effet odorant, proposé à la suite de cette enquête, est un outil de description, voire de conception de cette combinaison dans de nombreuses situations. Une enquête de terrain a ensuite permis d'approfondir ces premières inférences, en les confrontant à la réalité olfactive et matérielle d'un site précis. Pour analyser l'environnement odorant il a été nécessaire d'adapter une méthode pluridisciplinaire jusque là utilisée pour aborder d'autres modalités sensorielles. Cette méthode dite " des parcours commentés " est basée sur la confrontation des descriptions d'ambiances de passants, enregistrés in situ, lors de trajets dans le lieu étudié, couplés avec des relevés métrologiques et ethnographiques. Pour l'adapter à l'approche des ambiances olfactives, il a entre autres fallu faire appel à un jury d'évaluateurs formés dans le cadre de ce travail pour décrire l'odeur de façon " normalisée " (à travers un référentiel de 45 molécules odorantes). Une synthèse de l'ensemble des analyses et données recueillies permet de pointer certaines interactions entre le bâti (ses particularités spatiales et techniques), les odeurs et les interprétations des usagers. Ces configurations olfactives peuvent être considérées comme des modèles pour une prise en compte de l'odeur dans la conception architecturale et urbaine.

Cette thèse a pour but le développement de certains aspects de la modélisation de la dépendance dans la gestion des risques en dimension plus grande que un. Le premier chapitre est constitué d'une introduction générale. Le deuxième chapitre est constitué d'un article s'intitulant " Estimating Bivariate Tail : a copula based approach ", soumis pour publication. Il concerne la construction d'un estimateur de la queue d'une distribution bivariée. La construction de cet estimateur se fonde sur une méthode de dépassement de seuil (Peaks Over Threshold method) et donc sur une version bivariée du Théorème de Pickands-Balkema-de Haan. La modélisation de la dépendance est obtenue via la Upper Tail Dependence Copula. Nous démontrons des propriétés de convergence pour l'estimateur ainsi construit. Le troisième chapitre repose sur un article: " A multivariate extension of Value-at-Risk and Conditional-Tail-Expectation", soumis pour publication. Nous abordons le problème de l'extension de mesures de risque classiques, comme la Value-at-Risk et la Conditional-Tail-Expectation, dans un cadre multidimensionnel en utilisant la fonction de Kendall multivariée. Enfin, dans le quatrième chapitre de la thèse, nous proposons un estimateur des courbes de niveau d'une fonction de répartition bivariée avec une méthode plug-in. Nous démontrons des propriétés de convergence pour les estimateurs ainsi construits. Ce chapitre de la thèse est lui aussi constitué d'un article, s'intitulant " Plug-in estimation of level sets in a non-compact setting with applications in multivariate risk theory", accepté pour publication dans la revue ESAIM:Probability and Statistics.

L'objectif de la thèse est d'étudier l'impact d'apports répétés de composts urbains sur la dynamique de l'eau et de l'azote dans le système sol-plante, en sol cultivé. La dynamique de l'eau a été suivie en sol nu et en sol cultivé avec du maïs à l'aide de sondes TDR et de tensiomètres, entre 20 et 160 cm de profondeur. Un suivi de la dynamique d'un traceur de l'eau (anion bromure) et de l'azote minéral du sol a été réalisé par des prélèvements destructifs. Les données mesurées ont été utilisées pour simuler la dynamique de l'eau et de l'azote dans le sol suite aux apports de composts à l'aide du modèle PASTIS. L'apport de composts a affecté les propriétés hydriques de l'horizon de surface du sol, en augmentant la rétention en eau et en diminuant les flux d'évaporation par rapport au témoin. Cet effet peut être relié à l'augmentation de la teneur en matière organique du sol après 10 ans d'apports des composts. La modélisation de la dynamique de carbone et de l'azote dans le sol a permis de montrer l'importance des arrières effets des apports précédents sur la fourniture en azote minéral du sol et un effet positif de l'apport de PRO sur la disponibilité de l'azote pour la plante. L'apport d'un compost à forte biodégradabilité, comme amendement organique, présente plus d'intérêt durant l'année qui suit son apport, alors que les composts à faible biodégradabilité représentent l'avantage d'avoir une minéralisation plus importante à long terme (après des apports répétés).

University of Macau / Faculty of Law

Le présent mémoire porte sur le rôle de Steinbeck en tant qu'inteIlectuel libéral de gauche au cours de la dernière décennie de sa vie, soit les années 1960. Steinbeck est un écrivain américain qui vantait la ténacité et le courage du «petit peuple», ces opprimés économiques et sociaux, dans des écrits des années 1930, comme The Grapes of Wrath. Après avoir préalablement défini Steinbeck comme un intellectuel du «New Deal» durant la crise économique des années 1930 et avoir traité de ses actions et de ses écrits dans la période de la Deuxième Guerre mondiale, puis dans la période de l'après-guerre, ce mémoire s'étend sur le rôle de Steinbeck dans les années 1960. L'originalité de cette étude réside dans le fait que nous avons ciblé une période moins connue de Steinbeck, car celle-ci est vue comme un déclin dans la carrière de l'écrivain par plusieurs critiques. En effet, notre recherche nous a amené à remettre en question la thèse de nombreux critiques qui décrivent Steinbeck comme un néo-conservateur ou un conformiste désengagé vers la fin de sa vie. Contrairement à cette idée répandue, nous montrons que Steinbeck ne doit aucunement être mis de côté après 1960. Non seulement est-il resté toujours très actif au cours de cette période, sinon plus qu'avant, mais à l'aide de ses écrits et ses interventions en politique, Steinbeck a eu un impact sans précédent quant à la poursuite du libéralisme au cours de cette décennie. D'après nous, ce lauréat du prix Nobel voulait une poursuite du «New Deal», tout comme d'autres libéraux de l'époque. De fait, l'écrivain a joué un rôle majeur dans la dénonciation de l'immoralité qui sévissait dans la nation. Pour y remédier, Steinbeck se rapprocha, comme auparavant, de présidents et soutint leurs réformes. D'après lui, le président était un leader capable de redonner une direction à la nation en crise. De plus, il soutint ardemment le mouvement des droits civiques, bien qu'il ait été hostile au mouvement des jeunes et à la Nouvelle Gauche. Selon Steinbeck, le mouvement noir non violent voulait justement mettre fin au plus grand problème moral du pays, c'est-à-dire l'inégalité raciale. Steinbeck appuyait d'ailleurs de diverses façons des leaders noirs, tel que Martin Luther King, Jr. Comme le président, de par leurs actions héroïques, les Noirs pouvaient redonner un sens moral à la nation. Enfin, il fut un grand partisan d'une lutte anticommuniste dans le monde entier, comme ce fut le cas au Viêt-nam. Toutefois, il n'était aucunement motivé par un anticommunisme aveugle, mais visait plutôt une lutte contre l'immoralité aux États-Unis et la fin de la domination des communistes au Viêt-nam grâce à l'envoi de soldats courageux. Bref, ce grand intérêt de sa part pour améliorer la vie de nombreux Américains et aussi d'opprimés à l'extérieur du pays montre que l'historiographie de Steinbeck donnait, jusqu'à présent, une fausse réalité à propos de l'écrivain. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Guerre du Viêt-Nam, Intellectuels libéraux, John F. Kennedy, John Steinbeck, Lyndon B. Johnson, Mouvements sociaux, «New Deal».