Ce mémoire contribue à la thématique de l'évaluation des interfaces utilisateur. Il se base sur deux contributions pour l'évaluation de ces interfaces. La première consiste en un Framework se basant sur trois différentes techniques d'évaluation (le mouchard électronique, le questionnaire et l'inspection des règles ergonomiques). La seconde consiste en deux ensembles de composants graphiques pour la composition d'interfaces graphiques avec les environnements de développement intégral du type WYSIWYG. Le premier ensemble vise à inspecter la présentation statique de l'interface lors de la conception de cette dernière. Cette inspection s'effectue localement par le composant graphique lui-même par rapport à un ensemble de règles ergonomiques. Le second ensemble consiste à l'évaluation de l'interface utilisateur en analysant l'interaction entre l'utilisateur et l'interface. Cet ensemble de composants opère avec un mouchard dédié à cet usage. Une évaluation de ces deux contributions ainsi que des perspectives de recherche concluront ce présent mémoire.

Le développement de la culture du sorgho de saison sèche, qui concerne l'ensemble du bassin du lac Tchad, constitue la dynamique agraire la plus visible de ces dernières décennies dans les plaines de l'Extrême-Nord Cameroun. La plante est repiquée dans des terres argileuses plus ou moins inondables, difficilement cultivables en saison des pluies, et accomplit son cycle à partir de la réserve en eau du sol. Le traitement herbicide, introduit récemment, est utilisé de façon croissante compte tenu des avantages à la fois agronomiques pour accélérer la préparation des parcelles et maîtriser certaines adventices vivaces, et économiques en réduisant légèrement les coûts par rapport à l'emploi de manoeuvres salariés. Un travail de recherche est apparu opportun pour accompagner les agriculteurs concernant l'adaptation de ce changement technique vers une utilisation la plus modérée possible des herbicides. Notre démarche associe deux approches agronomiques : l'une consiste à cerner les problèmes que les agriculteurs doivent résoudre à travers l'analyse et la formalisation des règles de décision pour la conduite de la culture ; l'autre à évaluer de nouvelles règles de décision liées à l'utilisation de l'herbicide sur l'élaboration du rendement de sorgho et l'évolution de la flore. La combinaison de ces deux formes de connaissances agronomiques permet de conseiller les agriculteurs sur l'insertion judicieuse d'une nouvelle technique dans leurs systèmes de culture, en valorisant au mieux leurs savoirs et leurs savoir-faire. La démarche s'appuie sur des enquêtes fines à l'échelle de l'exploitation agricole et des expérimentations "systèmes de culture" en parcelles paysannes, dans deux terroirs de référence. L'analyse révèle l'importance de l'hétérogénéité inter et intra-parcellaire du sol, sur laquelle l'agriculteur s'appuie pour enchaîner les opérations afin de repiquer dans de bonnes conditions d'humidité du sol malgré la lenteur des tâches culturales et un créneau réduit de réalisation de l'implantation. Dans la majorité des situations pédoclimatiques, la réserve hydrique du sol constitue le principal facteur limitant de la culture. La concurrence des mauvaises herbes se révèle limitante dans les terrains les plus humides en particulier lors des années de bonne pluviométrie. Dans ces conditions climatiques et d'enherbement, le traitement herbicide offre des gains de rendement d'au moins 20 % et parfois beaucoup plus dans les zones inondables où prolifèrent certaines adventices vivaces. Dans les situations à dominante de graminées annuelles, le désherbage chimique ne permet pas d'augmentation de production et ne devrait être envisagé que comme une solution d'ajustement ponctuelle pour éviter à l'agriculteur de prendre du retard dans l'implantation de sa sole, en particulier lors des années les plus sèches. Les résultats ont permis de préciser les règles de décision liées à la mise en oeuvre du traitement : localisation des traitements et modulation des doses en tenant compte de l'hétérogénéité des milieux cultivés; alternance de l'utilisation d'herbicide avec le mode de préparation habituelle selon le scénario climatique. Cette démarche, mise en oeuvre dans le cadre d'un projet de développement, contribue à l'enrichissement de services d'appui et de conseil aux exploitations familiales à l'échelle régionale, notamment pour orienter les agriculteurs vers des principes de gestion intégrée de l'enherbement et limiter les effets négatifs de l'innovation sur l'environnement et l'emploi en milieu rural.

Ce mémoire a pour objectif de clarifier la position de Timothy Williamson dans la problématique de la norme de l’assertion. Le premier chapitre permet de circonscrire la perspective strictement épistémologique adoptée par Williamson. Le second chapitre met en relief trois thèses de Williamson qui portent sur la connaissance et permet de dégager les grandes lignes de l’explication épistémique qu’il propose pour l’assertion. La première de ces thèses fait de la connaissance la norme de l’assertion dans le sens où la connaissance est la seule règle constitutive de l’assertion. La seconde thèse examinée fait de la connaissance un état mental factif. Il s’agit d’un état mental particulier qui met en relation causale le monde et l’esprit. La dernière thèse mise en relief défend l’idée selon laquelle la connaissance est équivalente aux éléments probants de l’agent. Le mémoire a pour objectif de démontrer que ces thèses comprises ensembles impliquent que la position de Williamson est radicalement réaliste, invariantiste et externaliste. Le troisième et dernier chapitre cherche à contraster la position de Williamson avec celle de Keith DeRose dans le but de clarifier les conséquences conceptuelles de l’analyse de Williamson. Les principales conclusions à tirer du mémoire sont les suivantes : l’explication épistémique de l’assertion apportée par Williamson est à la fois robuste, informative et ne peut être importée que dans un cadre radicalement réaliste.

Dans le monde du Web, on retrouve les formats RSS et Atom (feeds) qui sont, sans doute, les formats XML les plus populaires et les plus utilisés. Ces formats permettent aux, entre autres, communautés Web, industriels, et services web de publier et d'échanger des documents XML. En outre, ils permettent à un utilisateur de consulter librement des données/informations sans avoir à basculer d'un site à un autre, et cela à l'aide d'applications logicielles. Dans ce cas, l'utilisateur enregistre ses fournisseurs de flux favoris, chaque fournisseur diffuse la liste des nouveaux éléments qui ont été modifiés depuis le dernier téléchargement. Cependant, l'enregistrement d'un certain nombre de sources de flux dans un agrégateur de flux engendre à la fois des problèmes d'hétérogénéité (à cause des différences structurelles et de contenu) et des problèmes de surcharges d'information. Par ailleurs, aucun des agrégateurs de flux existants n'offre une approche qui intègre (ou fusionne) les flux en tenant compte de leurs similarités, du contexte de l'utilisateur et de ses préférences. Dans cette thèse, nous proposons un framework formel qui permet de traiter l'hétérogénéité, l'intégration et l'interrogation des flux d'actualités. Ce framework est fondé sur une représentation arborescente d'un flux et possède trois éléments principaux qui sont les suivants: comparateur de flux, intégrateur de flux, et processeur de requêtes. Le comparateur de flux permet de mesurer le degré de similarité entre deux éléments/flux en utilisant une base de connaissance intégrant une approche ascendante et progressive. Nous proposons une mesure de similarité à base de concept capable de calculer la similarité entre les flux selon le nombre de leurs concepts communs (et différents) et leurs proximités sémantiques. Nous montrons également comment définir et identifier la relation exclusive entre deux textes ou éléments. L'intégrateur de flux permet de fusionner plusieurs flux provenant de différentes sources tout en tenant compte du contexte de l'utilisateur. Nous montrons dans notre étude comment représenter le contexte d'utilisateur ainsi que ses préférences. Nous fournissons un ensemble prédéfini de règles de fusion qui peuvent être enrichies et adaptées par chaque utilisateur. Quant au processeur de requêtes, il se base sur une étude formelle et plus précisément sur une algèbre dédiée à la fusion des flux continus d'actualités que nous proposons ici. Les opérateurs proposés dans cette algèbre sont aidés par des fonctions à base de similarité. Nous catégorisons les opérateurs de flux selon trois catégories: opérateurs d'extraction, opérateurs ensemblistes et opérateur de fusion. Nous montrons que l'opérateur de fusion généralise l'opération de jointure et les opérateurs ensemblistes. Nous fournissons également un ensemble de règles de réécriture et d'équivalence de requêtes pour la simplification et l'optimisation des requêtes. Enfin, nous présentons un prototype nommé "Easy RSS Manager" (EasyRSSManager). Ce prototype est un lecteur sémantique de flux et un composant sémantique pour l'interrogation des fenêtres de flux. EasyRSSManager a été utilisé pour valider, démontrer et tester la faisabilité des différentes propositions de notre étude. En particulier, nous avons testé la complexité en temps et la pertinence de nos approches en utilisant à la fois des données réelles et syntaxiques.

Les progrès récents dans la définition de mécanismes décisionnels ont permis de déléguer de plus en plus de responsabilités aux systèmes informatiques. Par exemple, des robots de service travaillent aujourd'hui en interaction avec l'humain et réalisent des tâches de plus en plus complexes. Ce transfert de responsabilité pose alors de manière critique le problème de la sécurité pour l'homme, l'environnement du système, ou le système lui-même. La surveillance en ligne par un moniteur de sécurité indépendant vise à assurer un comportement sûr malgré la présence de fautes et d'incertitudes. Un tel moniteur doit détecter des situations potentiellement dangereuses afin d'enclencher des actions de mise en état sûr et d'éviter les défaillances catastrophiques. Cette thèse traite de l'identification de conditions de déclenchement de sécurité permettant de lancer des actions de mise en état sûr. Un processus systématique permettant d'identifier de telles conditions est défini, en partant d'une analyse de risque HazOp/UML du système fonctionnel. Par ailleurs, une méthode est proposée pour identifier les états du système où des actions de sécurité peuvent être enclenchées simultanément, afin d'être revues et corrigées, en cas de besoin, par un expert du système. L'approche proposée est appliquée à un robot déambulateur.

Les progrès récents dans la définition de mécanismes décisionnels ont permis de déléguer de plus en plus de responsabilités aux systèmes informatiques. Par exemple, des robots de service travaillent aujourd'hui en interaction avec l'humain et réalisent des tâches de plus en plus complexes. Ce transfert de responsabilité pose alors de manière critique le problème de la sécurité pour l'homme, l'environnement du système, ou le système lui-même. La surveillance en ligne par un moniteur de sécurité indépendant vise à assurer un comportement sûr malgré la présence de fautes et d'incertitudes. Un tel moniteur doit détecter des situations potentiellement dangereuses afin d'enclencher des actions de mise en état sûr et d'éviter les défaillances catastrophiques. Cette thèse traite de l'identification de conditions de déclenchement de sécurité permettant de lancer des actions de mise en état sûr. Un processus systématique permettant d'identifier de telles conditions est défini, en partant d'une analyse de risque HazOp/UML du système fonctionnel. Par ailleurs, une méthode est proposée pour identifier les états du système où des actions de sécurité peuvent être enclenchées simultanément, afin d'être revues et corrigées, en cas de besoin, par un expert du système. L'approche proposée est appliquée à un robot déambulateur.

Les théories du choix social et de la décision multicritère sont fertiles en résultats paradoxaux. C'est à l'étude de quelques-uns d'entre eux qu'est consacrée cette thèse. Nous montrons tout d'abord les liens étroits entre ces deux domaines de recherche. Nous passons alors en revue les principaux paradoxes rencontrés dans ces deux domaines et tentons de classifier les méthodes utilisées pour les expliquer. Nous nous attaquons à notre tour à quatre types de paradoxes. L'étude des restrictions imposées par certaines conditions de transitivité de la méthode majoritaire donne des résultats surprenants. Nous les analysons en introduisant la notion de polydiversité. La règle de prudence (minimax) ne respecte pas l'axiome de cohérence. De plus, les vainqueurs prudents peuvent aussi être des vaincus prudents. Ces paradoxes liés à la prudence sont étudiés théoriquement, en particulier en utilisant la représentation géométrique des profils, et expérimentalement à l'aide de simulations. Pour certaines méthodes, l'amélioration de la position d'un candidat dans la préférence d'un votant peut conduire à une dégradation de sa situation du point de vue de la société. Nous analysons ce paradoxe en détail, en particulier pour les méthodes de rangement construites en itérant une fonction de choix. Nous terminons en étudiant la sensibilité de la méthode prudente et de la méthode de Borda à une variation du poids des critères. La comparaison des valeurs des indicateurs proposés donne des résultats inattendus.

A travers de la cristallisation du droit d’ingérence et la responsabilité de protéger la Communauté internationale tente de combler l'écart entre la moralité et la légalité de l’ingérence à des fins de protection de droits humains. Car l’ingérence à des fins de protection humaine, depuis de la fin de la guerre froide, a trouvé une base juridique coutumière et ne correspond plus à un acte exceptionnel susceptible de se justifier dans certaines hypothèses. Dans cette démarche, en cas d’échec du Conseil de sécurité à la mise en œuvre d’une ingérence militaire, les organisations régionales pourraient sans autorisation « préalable » et « précise » du Conseil de sécurité, engager une ingérence armée. L’étude de la valeur juridique de l’ONU et les pratiques depuis de la fin de la guerre froide, permet de constater que si le droit d’ingérence et la responsabilité de protéger n’ont pas encore trouvé un fondement « direct » dans les conventions internationales, ils peuvent cependant trouver un socle juridique dans la coutume internationale. En effet, l’analyse de la valeur des résolutions de l’ONU et des éléments coutumiers du droit d’ingérence et de la responsabilité de protéger montrent comment les résolutions 43/131 et 45/100 de l’Assemblée générale ont inauguré le processus du droit d’ingérence et la responsabilité de protéger. Et depuis les années 1990, la pratique du Conseil de sécurité, illustrée par un nombre important de résolutions ayant donné lieu à la mise en œuvre d’opérations tout aussi nombreuses, ainsi que la pratique des Etats et les organisations régionales donnent un corps juridique à l’ingérence à des fins de protection humaine et ne laissent aucun doute sur la nature juridique de celle-ci. / Through crystallization of the right and responsibility to intervene to protect the international community tries to bridge the gap between morality and legality of the interference for the protection of human rights. As interference in human protection purposes, since the end of the Cold War, found a legal basis for customary and does not correspond to an exceptional act may be justified in certain circumstances. With this approach, in case of failure of the Security Council in the implementation of military interference, regional organizations could without authorization "prior" and "precise" Security Council, commit armed interference. The study of the legal status of the UN and practices since the end of the Cold War, shows that if the right of intervention and the responsibility to protect has not yet found a foundation "live" in international conventions, however, they can find a legal basis in customary international law. Indeed, analysis of the value of UN resolutions and customary law elements of interference and the responsibility to protect demonstrate how resolutions 43/131 and 45/100 of the General Assembly inaugurated the process the right of intervention and the responsibility to protect. And since the 1990s, the practice of the Security Council, illustrated by a large number of resolutions that led to the implementation of operations just as many, and the practice of States and regional organizations to provide a legal body interference for human protection and leave no doubt about the legal nature of the latter.

Alors que le droit interne des contrats est marqué par le recul de l'autonomie de la volonté, le droit international privé fait du principe d'autonomie le facteur de rattachement principal en matière contractuelle. Parallèlement à cette évolution inversée, une évolution commune intervient en droit interne et international privé des contrats : celle de son ouverture aux tiers, par la portée des droits qu'il crée et la multiplication des liens de droit entre les tiers et les parties. Cohérent avec le recul de l'autonomie de la volonté en droit interne, le rapprochement du tiers et du contrat se heurte à la solution du conflit de lois en matière contractuelle. Alors que le principe d'autonomie sert l'intérêt des parties, le respect des prévisions du tiers appelle une loi objectivement déterminée. La prise en considération de l'objet et de l'opposabilité des contrats permet la prise en considération nuancée des intérêts des tiers et leur conciliation avec ceux des parties. Dans le cas des contrats à opposabilité renforcée, contrats à grand rayon d'action, la prise en considération du tiers passe par la création d'une règle de conflit spéciale en matière contractuelle qui rend le facteur de rattachement objectif impératif. Les parties aux contrats à grand rayon d'action ne peuvent choisir la loi applicable à leur contrat. Dans le cas des contrats à opposabilité simple, contrats à petit rayon d'action, la protection du tiers, touché par l'extension des effets du contrat, ne passe pas par l'objectivation du facteur de rattachement, mais par la qualification des questions ou la mise en œuvre de mécanismes dérogatoires comme l'adaptation ou les lois de police. / While Substantial Contract Law is characterized by the decline of party autonomy, Private International Law makes it the main conflict rule in the field of Contract. Besides this reversed evolution, a similar trend is shaping Substantial Contract Law and Private International Law of Contract : the contract incorporates third parties, both through the rights it creates as well as through the increase in ties between parties and third parties. Coherent with the scaling down of party autonomy in Contract law, the connection between the third party and the contract goes against the conflict rule in the field of contracts. Although party autonomy serves parties interests, third parties expectations require an objectively determined law. To heed the object and the opposability of contracts allows for a well-balanced consideration of third parties interests in accordance with parties interests. Regarding contracts with reinforced opposability, ("long-range contracts"), the third party is taken into account by the creation of a special conflict rule in the field of contracts, that prevents parties from choosing their law. Party autonomy vanishes for these contracts. In case of simple opposability, ("short-range contracts"), the third party may be reached by the extension of contract effects. Its expectations cannot be protected by the elimination of party autonomy but either by the qualification of questions or by exceptional mechanisms such as overriding mandatory rules.

Cette thèse de doctorat étudie la façon dont Nelson Goodman comprend la correction d’une projection, c’est-à-dire du passage d’un certain ensemble d’items à un ensemble plus large. Une projection est justifiée par sa conformité avec des règles générales de projections et ces règles sont justifiées par leur conformité avec des projections que nous tenons pour valides. Il suffit de décrire pour justifier : une règle est justifiée si elle peut compter comme une description des projections admises. Cette injonction à seulement décrire soulève un dilemme. Si une règle est un standard de la correction de ses cas d’application, comment peut-elle être justifiée par sa seule adéquation descriptive à l’égard de ses cas d’applications ? Si la règle n’est justifiée par rien d’autre, en quoi se distingue-t-elle d’une description de nos comportements réguliers ? Notre objet est de montrer comment Goodman pourrait surmonter ce dilemme. / This PhD dissertation examines how Nelson Goodman understands rightness of projection, i.e. the transition from a set of items to a wider one. A projection is justified by its conformity to general rules of projection and rules are justified by their conformity to some projections we consider valid. To justify, all one needs to do is to describe: a rule is justified if it can count as a description of admitted projections. Yet this call for description faces a dilemma. If a rule is a standard for rightness of its applications, how could it be justified by its sole descriptive adequacy to those cases of application? If a rule is justified by nothing else, what could distinguish it from a mere description of our regular behaviors? Our object is to show how Goodman could resolve this dilemma.