La sécurité des systèmes d'information devient un enjeu préoccupant pour les organisations tant publiques que privées, car de tels systèmes sont pour la plupart universellement accessibles à partir de navigateurs Web. Parmi tous les aspects liés à la sécurité des systèmes d'information, c'est celui de la sécurité fonctionnelle qui est étudié dans cette thèse sous l'angle de la mise en œuvre de politiques de contrôle d'accès dans une architecture orientée services. L'élément de base de la solution proposée est un modèle générique qui introduit les concepts essentiels pour la conception de gestionnaires d'exécution de politiques de contrôle d'accès et qui établit une séparation nette entre le système d'information et les mécanismes de contrôle d'accès. L'instanciation de ce modèle conduit à un cadre d'applications qui comporte, entre autres, un filtre de contrôle d'accès dynamique. Cette thèse présente également deux méthodes systématiques d'implémentation de ce filtre à partir de politiques écrites en ASTD, une notation graphique formelle basée sur les statecharts augmentés d'opérateurs d'une algèbre de processus. La notation ASTD est plus expressive que la norme RBAC et ses extensions, la solution actuellement privilégiée dans l'industrie. La première méthode repose sur une transformation de politiques de contrôle d'accès, instanciées à partir de patrons de base exprimés en ASTD, en des processus BPEL. La deuxième méthode est basée sur une interprétation de spécifications ASTD par des processus BPEL. Dans les deux cas, les processus BPEL s'exécutent dans un moteur d'exécution BPEL et interagissent avec le système d'information. Ces deux méthodes permettent une implémentation automatique d'un cadre d'applications à partir de la spécification de départ. Finalement, un prototype a été réalisé pour chacune des deux méthodes afin de montrer leur faisabilité au niveau fonctionnel et de comparer leurs performances au niveau système

La sécurité des systèmes d'information devient un enjeu préoccupant pour les organisations tant publiques que privées, car de tels systèmes sont pour la plupart universellement accessibles à partir de navigateurs Web. Parmi tous les aspects liés à la sécurité des systèmes d'information, c'est celui de la sécurité fonctionnelle qui est étudié dans cette Thèse sous l'angle de la mise en oeuvre de politiques de contrôle d'accès dans une architecture orientée services. L'élément de base de la solution proposée est un modèle générique qui introduit les concepts essentiels pour la conception de gestionnaires d'exécution de politiques de contrôle d'accès et qui établit une séparation nette entre le système d'information et les mécanismes de contrôle d'accès. L'instanciation de ce modèle conduit à un cadre d'applications qui comporte, entre autres, un filtre de contrôle d'accès dynamique. Cette Thèse présente également deux méthodes systématiques d'implémentation de ce filtre à partir de politiques écrites en ASTD, une notation graphique formelle basée sur les statecharts augmentés d'opérateurs d'une algèbre de processus. La notation ASTD est plus expressive que la norme RBAC et ses extensions. La première méthode repose sur une transformation de politiques de contrôle d'accès, instanciées à partir de patrons de base exprimés en ASTD, en des processus BPEL. La deuxième méthode est basée sur une interprétation de spécifications ASTD par des processus BPEL. Dans les deux cas, les processus BPEL s'exécutent dans un moteur d'exécution BPEL et interagissent avec le système d'information. Ces deux méthodes permettent une implémentation automatique d'un cadre d'applications à partir de la spécification de départ. Finalement, un prototype a été réalisé pour chacune des deux méthodes afin de montrer leur faisabilité au niveau fonctionnel et de comparer leurs performances au niveau système.

Les offres de l’informatique en nuage augmentent de plus en plus et les clients ne sont pas capables de lescomparer afin de choisir la plus adaptée à leurs besoins. De plus, les garanties de sécurité proposées parles fournisseurs restent incompréhensibles pour les clients. Cela représente un frein pour l'adoption dessolutions de l’informatique en nuage.Dans cette thèse, nous proposons un mécanisme de courtage des services de l’informatique en nuage quiprend en compte les besoins du client en termes de sécurité.Les besoins exprimés par le client sont de deux natures. Les besoins fonctionnels représentent lesressources et leurs performances. Les besoins non-fonctionnels représentent les propriétés de sécurité etles contraintes de placement des ressources dans le nuage informatique. Nous utilisons le langage Alloypour décrire les offres et les besoins. Nous utilisons l'analyseur Alloy pour l'analyse et la vérification desspécifications du client. Le courtier sélectionne les fournisseurs qui satisfont les besoins fonctionnels et nonfonctionnelsdu client. Il vérifie ensuite, que la configuration du placement des ressources chez lesfournisseurs respecte toutes les propriétés de sécurité exigées par le client.Toutes ces démarches sont effectuées avant le déploiement des ressources dans le nuage informatique.Cela permet de détecter les erreurs et conflits des besoins du client tôt. Ainsi, on réduit les vulnérabilités desressources du client une fois déployées. / The number of cloud offerings increases rapidly. Therefore, it is difficult for clients to select the adequate cloud providers which fit their needs. In this thesis, we introduce a cloud service brokerage mechanism that considers the client security requirements. We consider two types of the client requirements. The amount of resources is represented by the functional requirements. The non-functional requirements consist on security properties and placement constraints. The requirements and the offers are specified using the Alloy language. To eliminate inner conflicts within customers requirements, and to match the cloud providers offers with these customers requirements, we use a formal analysis tool: Alloy. The broker uses a matching algorithm to place the required resources in the adequate cloud providers, in a way that fulfills all customer requirements, including security properties. The broker checks that the placement configuration ensures all the security requirements. All these steps are done before the resources deployment in the cloud computing. This allows to detect the conflicts and errors in the clients requirements, thus resources vulnerabilities can be avoided after the deployment.

La logique Here-and-there (HT) est une logique monotone à trois valeurs, intermédiaire entre les logiques intuitionniste et classique. La logique de l'équilibre est un formalisme non-monotone dont la sémantique est donnée par un critère de minimalisation sur les modèles de la logique HT. Ce formalisme est fortement lié à la programmation orientée ensemble réponse (ASP), un paradigme relativement nouveau de programmation déclarative. La logique de l'équilibre constitue la base logique de l'ASP: elle reproduit la sémantique par ensemble réponse des programmes logiques et étend la syntaxe de l'ASP à des théories propositionnelles plus générales, i.e., des ensembles finis de formules propositionnelles. Cette thèse traite aussi bien des logiques modales sous-jacentes à la logique de l'équilibre que de ses extensions modales. Ceci nous permet de produire un cadre complet pour l'ASP et d'examiner de nouveau la base logique de l'ASP. A cet égard, nous présentons d'abord une logique modale monotone appelée MEM et capable de caractériser aussi bien l'existence d'un modèle de la logique de l'équilibre que la relation de conséquence dans ces modèles. La logique MEM reproduit donc la propriété de minimalisation qui est essentielle dans la définition des modèles de la logique de l'équilibre. Nous définissons ensuite une extension dynamique de la logique de l'équilibre. Pour ce faire, nous étendons le langage de la logique HT par deux ensembles de programmes atomiques qui permettent de mettre à jour, si possible, les valeurs de vérité des variables propositionnelles. Ces programmes atomiques sont ensuite combinés au moyen des connecteurs habituels de la logique dynamique. Le formalisme résultant est appelé logique Here-and-there dynamique (D-HT) et permet la mise-à-jour des modèles de la logique de l'équilibre. Par ailleurs, nous établissons un lien entre la logique D-HT et la logique dynamique des affectations propositionnelles (DL-PA): les affectations propositionnelles mettent à vrai ou à faux les valeurs de vérité des variables propositionnelles et transforment le modèle courant comme en logique dynamique propositionnelle. En conséquence, DL-PA constitue également une logique modale sous-jacente à la logique de l'équilibre. Au début des années 1990, Gelfond avait défini les spécifications épistémiques (E-S) comme une extension de la programmation logique disjonctive par des notions épistémiques. L'idée de base des E-S est de raisonner correctement à propos d'une information incomplète au moyen de la notion de vue-monde dans des situations où la notion précédente d'ensemble réponse n'est pas assez précise pour traiter le raisonnement de sens commun et où il y a une multitude d'ensembles réponses. Nous ajoutons ici des opérateurs épistémiques au langage original de la logique HT et nous définissons une version épistémique de la logique de l'équilibre. Cette version épistémique constitue une nouvelle sémantique non seulement pour les spécifications épistémiques de Gelfond, mais aussi plus généralement pour les programmes logiques épistémiques étendus. Enfin, nous comparons notre approche avec les sémantiques existantes et nous proposons une équivalence forte pour les théories de l'E-HT. Ceci nous conduit naturellement des E-S aux ASP épistémiques et peut être considéré comme point de départ pour les nouvelles extensions du cadre ASP. / Here-and-there (HT) logic is a three-valued monotonic logic which is intermediate between classical logic and intuitionistic logic. Equilibrium logic is a nonmonotonic formalism whose semantics is given through a minimisation criterion over HT models. It is closely aligned with answer set programming (ASP), which is a relatively new paradigm for declarative programming. To spell it out, equilibrium logic provides a logical foundation for ASP: it captures the answer set semantics of logic programs and extends the syntax of answer set programs to more general propositional theories, i.e., finite sets of propositional formulas. This dissertation addresses modal logics underlying equilibrium logic as well as its modal extensions. It allows us to provide a comprehensive framework for ASP and to reexamine its logical foundations. In this respect, we first introduce a monotonic modal logic called MEM that is powerful enough to characterise the existence of an equilibrium model as well as the consequence relation in equilibrium models. The logic MEM thus captures the minimisation attitude that is central in the definition of equilibrium models. Then we introduce a dynamic extension of equilibrium logic. We first extend the language of HT logic by two kinds of atomic programs, allowing to update the truth value of a propositional variable here or there, if possible. These atomic programs are then combined by the usual dynamic logic connectives. The resulting formalism is called dynamic here-and-there logic (D-HT), and it allows for atomic change of equilibrium models. Moreover, we relate D-HT to dynamic logic of propositional assignments (DL-PA): propositional assignments set the truth values of propositional variables to either true or false and update the current model in the style of dynamic epistemic logics. Eventually, DL-PA constitutes an alternative monotonic modal logic underlying equilibrium logic. In the beginning of the 90s, Gelfond has introduced epistemic specifications (E-S) as an extension of disjunctive logic programming by epistemic notions. The underlying idea of E-S is to correctly reason about incomplete information, especially in situations when there are multiple answer sets. Related to this aim, he has proposed the world view semantics because the previous answer set semantics was not powerful enough to deal with commonsense reasoning. We here add epistemic operators to the original language of HT logic and define an epistemic version of equilibrium logic. This provides a new semantics not only for Gelfond's epistemic specifications, but also for more general nested epistemic logic programs. Finally, we compare our approach with the already existing semantics, and also provide a strong equivalence result for EHT theories. This paves the way from E-S to epistemic ASP, and can be regarded as a nice starting point for further frameworks of extensions of ASP.

Les récepteurs ionotropiques du glutamate peuvent être compartimentés de manière très spécifique au niveau des différentes afférences synaptiques d’un neurone. Dans les neurones pyramidaux de CA3, les récepteurs de type kaïnate (rKA) post-synaptiques sont localisés à la synapse formée entre les fibres moussues et les cellules pyramidales de CA3 (synapse FM-CA3) mais ils sont totalement absents des autres afférences glutamatergiques sur ce même neurone. Nous avons cherché à comprendre les mécanismes moléculaires de cette compartimentation subcellulaire. En réalisant une cartographie fonctionnelle des récepteurs du glutamate par décageage focalisé de glutamate dans les cellules pyramidales de CA3, nous avons montré que les rKA présentent une localisation subcellulaire strictement confinée dans les excroissances épineuses, éléments post-synaptiques des synapses FM-CA3, et sont exclus des compartiments somato-dendritiques, contrairement aux récepteurs AMPA. Nous avons identifié une séquence du domaine C-terminal de GluK2a nécessaire pour la stabilisation des rKA. Cette séquence est responsable d’une interaction avec la protéine d’adhérence N-cadhérine. L’altération de la fonction de la N-cadhérine dans les cellules pyramidales de CA3 entraine une déstabilisation des rKA à la synapse FM-CA3. Ces travaux suggèrent que plusieurs mécanismes participent à la compartimentation des rKA à la synapse FMCA3 impliquant le recrutement et la stabilisation des rKA par les N-cadhérines. / Distinct subtypes of ionotropic glutamate receptors can be segregate to specific synaptic inputs in a given neuron. In CA3 pyramidal cells (PCs), kainate receptors (KARs) are present at mossy fiber (mf) synapses and absent from other glutamatergic inputs. The mechanisms for such a constrained subcellular segregation is not known. We have investigated the molecular determinants responsible for the subcellular segregation of KARs at mf-CA3 synapses. Using functional mapping of glutamate receptors by focal glutamate uncaging we show that KARs display a strictly confined expression on thorny excrescences, the postsynaptic elements of mf-CA3 synapses, being excluded from extrasynaptic somatodendritic compartments, at variance with AMPA receptors. We have identified a sequence in the GluK2a C-terminal domain necessary for restricted expression of KARs which is responsible for GluK2a interaction with N-Cadherin. Targeted deletion of N-Cadherin or overexpression of a dominant negative N-Cadherin in CA3 PCs greatly induce a destabilization of KARs at the mf-CA3 synapses. Our findings suggest that multiple mechanisms combine to control the compartmentalization of KARs at mf-CA3 synapses, including a stringent control of the amount of GluK2 subunit in CA3 PCs, a limited number of slots for KARs, and the recruitment/stabilization of KARs by N-Cadherins.

Le but de ce travail était d’accroitre notre connaissance des mécanismes qui gouvernent la formation, la spécification et la différentiation des cellules souches, à l’aide du modèle métazoaire non-bilatérien Clytia hemisphaerica. Clytia possède une population particulière de cellules multipotentes appelées cellules interstitielles (i-cells). Ces cellules, présentes au cours du développement larvaire et chez la méduse adulte, sont capables de donner naissances a des cellules somatiques et aux gamètes. Chez les bilatériens, la signalisation Wnt/β-caténine (Wntβc) régule les processus développementaux fondamentaux ainsi que la prolifération, la spécification et la différenciation des cellules souches. Mon travail s’est porté sur l’implication de la signalisation Wntβc dans les dynamiques des i-cells. Mes résultats suggèrent que la signalisation Wntβc est impliquée dans la dernière étape de la différenciation de certains neurones, mais pas pour la spécification du destin cellulaire. D’autre part, j’ai aussi observé qu’en condition contrôle, la formation des i-cells est Wntβc-indépendante et probablement entraînée par le héritage de plasma germinatif contenant les ARNm localisées au pôle animal. Cependant, suite à des expériences de microdissection, j’ai observe que la reformation des i-cells dans la moitie végétative des embryons requérait l’activation de la voie Wntβc. En conclusion, deux mécanismes distincts peuvent conduire à la formation des i-cell pendant l'embryogenèse. Globalement, les résultats obtenus ont fourni une meilleure idée de la façon dont i- cellules et leurs dérivés se posent lors de l'embryogenèse et le développement larvaire. / The aim of this work was to extend our understanding of the mechanisms regulating stem cell formation, specification and differentiation by studies in the non-bilaterian metazoan model Clytia hemisphaerica. Clytia, like other hydrozoan cnidarians, possess a particular population of multipotent stem cells called interstitial cells (i-cells), present during larval development and in the adult medusa, which are able to give rise both to somatic cell types and to gametes.In bilaterian animals Wnt/β-catenin signalling regulates fundamental developmental processes such primary body axis specification, but also regulates stem cell proliferation, lineage specification and differentiation. I investigated the role of Wnt/β-catenin signalling in i-cell specification and differentiation. The results obtained suggest that Wnt/β-catenin signalling is involved in the last step of differentiation for certain neuronal cell types, but not for somatic cell fate choice. In the second part of my study I investigated the role of Wnt/β-catenin signalling in i-cell formation during embryogenesis. The results indicated that during normal development i-cell formation is Wnt/β-catenin independent and probably driven by inheritance of germ plasm containing localised mRNAs from the egg animal pole. In contrast in embryo re-patterning following embryo bisection, Wnt/β-catenin signalling appears to be necessary for de novo i-cell formation in the absence of germ plasm. Thus two distinct mechanisms can lead to i-cell formation during embryogenesis. Overall the results obtained provided a better picture of how i-cells and their derivatives arise during embryogenesis and larval development.

Un système embarqué est un système électronique et informatique autonome dédié à une tâche précise. Dans le secteur de l’automobile, le nombre de systèmes embarqués dans les voitures a considérablement augmenté au cours de ces dernières années et va certainement continuer à augmenter. Ces systèmes sont dédiés entre autres, à la sécurité, au confort de conduite,et à l’assistance à la conduite. Cette croissance des systèmes est associée avec une croissance en taille des logiciels qui les contrôlent. En conséquence, leur gestion(système et logiciel) devient de plus en plus complexe et problématique. Par ailleurs, la concurrence dans le secteur automobile est très féroce et les temps de mise sur le marché sont de plus en plus courts. Ainsi, pour garantir le bon fonctionnement des systèmes en général et du logiciel en particulier, étant donné leur complexité,et aussi les délais courts de mise sur le marché des produits automobiles, de nouvelles méthodes de développement doivent être considérées. Ainsi, de nombreuses méthodes de développement, incluant de nouveaux standards (de développement) et approches automatiques ont émergé au cours de ces dernières années. Dans le cas particulier de la vérification et validation de logiciel, une des activités critiques qui a connu une avancée significative est la génération de cas de test, avec l’avènement d’approches automatiques.Malgré cela, ces approches peinent souvent à s’imposer en milieu industriel. Une des raisons est que celles ci sont souvent peu adaptées ou peu utilisées dans un contexte industriel.Dans ce contexte, cette thèse vise à proposer une approche de vérification et de validation de logiciels embarqués, basée sur la génération automatique de cas de test. Pour cela, nous avons mis en place une approche permettant de représenter sous forme de modèles abstraits les spécifications d’un logiciel, puis de générer à partir de ces modèles un ensemble de cas de test en considérant en particulier le critère de couverture MC/DC. / An embedded system is a system that performs a specific task and has a computer embedded inside. In the automotive sector, the amount of embedded systems in the vehicle has risen dramatically in recent years and is set to increase. They deal essentially with safety, comfort, and driving assistance. Furthermore, the increase in number and complexity of the systems is associated with a growth in software. As a consequence, their management (system and software) have become more and more complex and problematic. Also, the competition and time-to-market in the automotive industry are very tough. Thus, to guarantee the efficiency and reliability of the embedded systems in the vehicle in general and the software in particular, in view of the complexity as well as the competition and time-to-market law, new development methods should be considered. Therefore, new development methods including new standards, and automatic approaches have emerged over the last years. In the particular case of embedded software verification and validation, one of the most critical activities that has experienced a significant progress is test case generation with the advent of automatic approaches. Despite this, these approaches are not widely used or are not well adapted in industrial context. In that context, our goal in this PhD. thesis is to propose a new verification and validation approach, based on automatic test case generation of embedded embedded. Thus, we have set up an approach that automatically generates test cases, with respect to the MC/DC criterion, from abstract models of the software specifications expressed in the form of state-transition models.

La gestion et le contrôle des variations géométriques des produits pendant les processus de développement représentent une préoccupation importante pour la réduction des coûts, l’amélioration de la qualité et la compétitivité des entreprises dans un contexte de mondialisation. Pendant la phase de conception, les exigences fonctionnelles et les tolérances géométriques sont issues de l'intention de conception. La modélisation des formes et le dimensionnement des produits sont aujourd'hui largement supportés par des outils de modélisation géométrique. Toutefois, les variations géométriques ne peuvent pas être évaluées en utilisant intuitivement les outils de modélisation existants. En outre, les étapes de fabrication et de mesure sont les deux principaux générateurs de variations géométriques desquels découlent les deux axiomes bien connus de l'imprécision de la fabrication et de l'incertitude de la mesure. Une vision globale des spécifications géométriques des produits (GPS) devrait considérer non seulement le processus complet de tolérancement, la modélisation des tolérances, et la représentation des tolérances mais aussi les représentations des formes géométriques et les techniques de traitement appropriées ainsi que les algorithmes associés. GeoSpelling, solution considérée comme fondement des normes ISO GPS, offre un langage non ambigu et un cadre complet pour la modélisation et la description des variations géométriques sur le cycle de vie des produits. GeoSpelling s’appuie sur un ensemble de concepts forts dont celui du "Skin Model". Cependant, l’«opérationnalisation» de GeoSpelling n'a pas été réalisée et peu de recherches ont porté sur la génération du Skin Model. Le Skin Model, vu comme un modèle de forme discrète est l'objectif principal de cette thèse. Dans ce travail, les fondamentaux de la géométrie discrète sont appliqués à GeoSpelling, les techniques de simulation de Monte Carlo et les méthodes statistiques d'analyse de formes sont développées pour simuler et analyser les "formes réalistes" prenant en compte, les contraintes géométriques dérivées de spécifications fonctionnelles et de considérations de fabrication. En plus de cartographier les concepts fondamentaux et les opérations de GeoSpelling avec la géométrie discrète, ce travail propose un modèle de forme discrète intégrant les erreurs aléatoires et systématiques approchées du second ordre. Le concept d'un Skin Model moyen et ses statistiques robustes sont également développés. Une étude de cas plus complète, basée sur un embouti de tôle en forme de croix pour lequel le processus de fabrication est simulé avec des variations stochastiques, permet d’illustrer les résultats des simulations du skin model. Les performances de la méthode sont ensuite évaluées. / The management and the control of product geometrical variations during the whole development process is an important issue for cost reduction, quality improvement and company competitiveness in the global manufacturing era. During the design phase, geometric functional requirements and tolerances are derived from the design intent. Geometric modeling tools, now largely support the modeling of product shapes and dimensions. However, permissible geometrical variations cannot be intuitively assessed using existing modeling tools. In addition, the manufacturing and measurement stages are two main geometrical variations generators according to the two well know axioms of manufacturing imprecision and measurement uncertainty. A comprehensive view of Geometrical Product Specifications should consider not only the complete tolerancing process, tolerance modeling and tolerance representation but also shape geometric representations, and suitable processing techniques and algorithms. GeoSpelling as the basis of the GPS standard enables a comprehensive modeling framework and an unambiguous language to describe geometrical variations covering the overall product life cycle thanks to a set of concepts and operations based on the fundamental concept of the “Skin Model”. However, the “operationalization” of GeoSpelling has not been successfully completed and few research studies have focused on the skin model simulation. The skin model as a discrete shape model is the main focus of this dissertation. We investigate here discrete geometry fundamentals of GeoSpelling, Monte Carlo Simulation Techniques and Statistical Shape Analysis methods to simulate and analyze “realistic shapes” when considering geometrical constraints requirements (derived from functional specifications and manufacturing considerations). In addition to mapping fundamental concepts and operations to discrete geometry one’s, the work presented here investigates a discrete shape model for both random and systematic errors when taking into account second order approximation of shapes. The concept of a mean skin model and its robust statistics are also developed. The results of the skin model simulations and visualizations are reported. By means of a case study based on a cross-shaped sheet metal part where the manufacturing process is simulated using Finite Element Analysis considering stochastic variations, the results of the skin model simulations are shown, and the performances of the method are described.

La simulation multi-disciplinaire et multi-physique représente un enjeu scientifique et industriel majeur. La simulation a été essentiellement traitée par les physiciens (mécanique, électromagnétique, ...) comme un problème numérique sur des cas d'étude très précis mais n'a jamais été abordée d'un point de vue système. La problématique générale posée par la simulation de systèmes complexes inclut la composition des modèles, l'optimisation multi-objectifs, la sémantique et la vérification formelle des compositions et le cadre offert par l'ingénierie système. Cette thèse propose une démarche originale établissant les fondements théoriques et méthodologiques pour un processus sans rupture entre ingénierie système, optimisation multi-objectif et simulation multi-physique. Des cas d'études issus de l'automobile démontrent la validité de cette approche expérimentée sur la base du langage Modelica. / Multi-disciplinary and multi-physics simulation represents a major scientific and industrial challenge. The simulation has essentially been considered by physicists (mechanic domain, electromagnetic domain, ...) as a numerical problem on specific case studies but has never been adressed from a system perspective. The general problem induced by the numerical simulation of complex systems include model composition, multi-objective optimization, the semantics and formal verification of compositions and the frame of systems engineering. This thesis proposes an original approach establishing the theoretical and methodological foundations for a seamless process between systems engineering, multi-objective optimization and multi-physics simulation. Automotive case studies show the validity of such an approach based on Modelica langage.

Cette thèse étudie l'option "zéro" dans l'analyse conjointe. Cette dernière s'assimile à un non choix des scénarios présentés lors d'enquêtes. Ce non choix est représenté par deux concepts distincts qui sont le refus et le conflit. Le premier concerne l'inappréciation des produits, alors que le second traite de l'incertitude dans les préférences et les choix. Une nouvelle modélisation économétrique de ce non choix est proposée dans ce travail, en supposant un mélange de spécification des comparaisons d'utilité et des seuils de réaction. Ce mélange permet de n'associer des utilités qu'aux produits, et de les comparer aux seuils de l'option "zéro". Ces comparaisons déterminent, ainsi, les situations de non choix, sans pour autant postuler une utilité au refus et au conflit.<br />Une étude sur le marché de la Vidéo à la Demande y est réalisée. Les résultats sont obtenus en utilisant l'approche bayésienne sur les modèles individuels et le maximum de vraisemblance sur le modèle agrégé. Les estimations sont cohérentes avec la réalité et la significativité des valeurs du refus et du conflit démontre leur importance dans la prise de décision.