Academic literature on the topic 'Modèles symboliques'

Résumé RÉSUMÉ « Un geste auguste dans le temple de la Loi ». L'ordo des cérémonies d'ouverture des sessions parlementaires au Québec, 1792-1997 Avec l'identification et l'interprétation des indices laissés par les pratiques comportementales et les imaginaires, la problématique des rituels et du symbolique politiques permet de discerner les tendances complexes du changement sociopolitique se manifestant dans la durée. L'étude de Yordo des cérémonies d'ouverture des sessions parlementaires au Québec s'inscrit dans cette problématique. Depuis l'instauration du modèle britannique de parlementarisme au Bas-Canada en 1792, Vordo met en scène les représentations symboliques de l'autorité légitime et de la souveraineté, celle du Roi (ou de la Reine) en son Parlement. Moins qu'un placage artificiel de structures importées de Grande-Bretagne, plus que la perpétuation d'une « tradition », le rituel et ses stratégies du regard, du son et de la mémoire révèlent l'appropriation de modèles culturels et leur métissage effectué par les acteurs. Engendré au rythme de la succession périodique d'actes d'institution, dont l'accumulation présente l'apparence du naturel, de la légitimité et de l'immuabilité, ce métissage reflète ainsi les mutations des représentations symboliques de la communauté politique au Québec depuis deux siècles. Mots clés : Paquet, rituels, tradition, démocratie, État, Québec

Les modèles de l’imaginaire issus de l’école française bachelardienne et durandienne ont permis de mieux appréhender l’étude des mythes, des religions et des arts. Non seulement les imaginaires obéissent à une logique symbolique, mais celle-ci s’enracine dans des soubassements corporels, comportementaux et même neurobiologiques, qui sont au cœur des neurosciences. Dans quelle mesure peut‑on transférer ces résultats de manière plus systématique aux milieux des artefacts techniques, et même aux nouvelles innovations technologiques aujourd’hui ? L’article tente de dégager quelques orientations programmatiques qui devraient permettre de comprendre combien la liberté d’innovation se conjugue avec des contraintes neuromotrices et symboliques.

Les modèles de l’imaginaire issus de l’école française bachelardienne et durandienne ont permis de mieux appréhender l’étude des mythes, des religions et des arts. Non seulement les imaginaires obéissent à une logique symbolique, mais celle-ci s’enracine dans des soubassements corporels, comportementaux et même neurobiologiques, qui sont au cœur des neurosciences. Dans quelle mesure peut‑on transférer ces résultats de manière plus systématique aux milieux des artefacts techniques, et même aux nouvelles innovations technologiques aujourd’hui ? L’article tente de dégager quelques orientations programmatiques qui devraient permettre de comprendre combien la liberté d’innovation se conjugue avec des contraintes neuromotrices et symboliques.

Résumé Le régime « bureaucratico-professionnel » de régulation des systèmes éducatifs avait accompagné, avec d’importantes variantes nationales, le développement de systèmes éducatifs nationaux « de masse » dans les années 1960/1970. À partir des résultats de la recherche européenne Reguleduc, nous montrons que ce modèle de régulation est désormais travaillé par des politiques éducatives qui cherchent à y substituer ou à y superposer de nouveaux arrangements institutionnels post-bureaucratiques, fondés sur le modèle du quasi-marché ou sur le modèle de l’État évaluateur. Cependant, les transformations s’effectuent à des intensités, à des degrés, à des rythmes divers, avec plus ou moins de contradiction et de cohérence. Corrélativement, les politiques nationales présentent des divergences, qui tiennent à des dépendances de sentier et à des processus de traduction ou d’hybridation des modèles avec les réalités symboliques ou institutionnelles des systèmes scolaires et sociaux considérés.

Fruit des relations fécondes nouées depuis quelques années par l'histoire et l'anthropologie, l'étude des rituels monarchiques s'est considérablement développée. Un intérêt renouvelé a été porté aux recherches classiques d'E. Kantorowicz et de Marc Bloch et, sous l'influence des enquêtes de Clifford Geertz en particulier, divers travaux novateurs ont été engagés sur les aspects rituels des symboliques du pouvoir. Dans de courtes observations au sujet du charisme royal, Geertz a comparé les apparitions publiques des souverains dans l'Angleterre élisabéthaine, à Java au 14e siècle et au Maroc au 19e siècle ; il a attiré l'attention sur quelques modèles de « formes symboliques structurées » par lesquelles les élites dirigeantes « expriment le fait qu'elles sont bien les dirigeants authentiques ». D'après lui, dans toutes les sociétés à organisation complexe, de telles formes symboliques —un ensemble de récits par exemple, de cérémonies, de médailles ou autres accessoires— caractérisent le centre comme centre, légitiment l'existence des dominants et ordonnent leur comportement. Cela ne concerne pas seulement les sociétés traditionnelles prémodernes, mais également l'ensemble des Etats-nations modernes et contemporains.

L’engagement corporel inhérent aux activités physiques, sportives et artistiques (APSA) implique des menaces physiques et symboliques que les pratiquants doivent réguler. Ces régulations émotionnelles modifient leurs attitudes interpersonnelles et intergroupes et, par là même, leurs comportements vis-à-vis des autres individus et groupes pendant la pratique mais aussi ailleurs et plus tard. Au regard de l’enjeu que représentent ces attitudes pour les différents terrains sportifs (e.g., cohésion, entraide, agressivité, coping en compétition, inclusion sociale et citoyenneté en éducation physique et sportive et en activités physiques adaptées), nous proposons une revue des modèles théoriques en psychologie sociale qui identifient les processus d’influence des menaces sur les attitudes interpersonnelles et intergroupes. Nous distinguons trois types de menace présentes dans la pratique des APSA, soit les menaces interpersonnelles, intergroupes et du contexte, et situons la portée des modèles associés à ces menaces pour les terrains des APSA. Malgré la pertinence de ces modèles pour comprendre la construction des attitudes interpersonnelles et intergroupes au cours des APSA, leur utilisation apparaît marginale en sciences du sport. Notre revue ouvre donc sur des perspectives d’intervention innovantes et des propositions d’articulation des modèles présentés avec ceux majoritairement utilisés en sciences du sport.

Résumé Les artefacts de la connaissance Une perspective biogénétique structurale du symbole et de la technologie Cet article propose une explication biogénétique structurale de la technique et de la technologie. Cette perspective repose sur la reconnaissance du fait qu'une des fonctions majeures du cerveau est la construction d'un système de modèles du monde. Ce système est appelé l'" environnement cognitif " (cognized environment) de l'organisme. En partant d'une théorie de l'évolution et du fonctionnement de l'environnement cognitif, on explore ici la relation entre, d'une part, l'accomplissement et l'expression symboliques des modèles neuraux et, d'autre part, les transformations matérielles qui constituent la technologie. Les boucles de rétroaction négative et positive qui relient l'environnement cognitif et les transformations technologiques du monde sont discutées. Les implications de cette perspective pour la compréhension des problèmes de la société moderne sont abordées.

À partir d’une étude de cas à Ouagadougou au Burkina Faso, cet article traite du symbolisme des fleurs et de ses usages sociaux. L’histoire locale des relations entre les individus et la phytodiversité enseigne en effet que les espèces végétales sont utilisées pour leurs propriétés alimentaires, médicinales, symboliques, magiques et esthétiques. Toutefois, les différentes modalités de circulation et d’appropriation des fleurs varient selon le code culturel et le statut social des usagers. L’article montre que la culture florale burkinabé correspond à des formes d’expression esthétiques et sentimentales locales qui s’émancipent des contraintes traditionnelles pour épouser continuellement les modèles occidentaux et/ou globalisés.

La résistance des agriculteurs familiaux à l’avancée de l’agriculture capitaliste se traduit par des pratiques et des stratégies économiques, sociales et techniques singulières, qui leur confèrent des capacités de reproduction spécifiques. Notre principale hypothèse est la suivante : les modèles d’action à l’origine de la résistance des agriculteurs familiaux dépendent du contexte, de leur situation, de leurs projets et des valeurs qu’ils associent au métier d’agriculteur. Ces modèles sont situés historiquement et fabriqués collectivement. Nous avons développé une approche « compréhensive » des éleveurs familiaux en Uruguay et mobilisé le concept d’habitus afin d’identifier et d’étudier leurs pratiques et stratégies de résistance. À partir des macro-pratiques économiques, symboliques, éducatives et successorales nous avons identifié trois types de résistance : « Rendre la famille autonome », « Transmettre le patrimoine familial » et « Rester dans le réseau territorial ». L’habitus permet aux éleveurs étudiés de fabriquer et de maintenir une logique familiale « paysanne » à la base de leur stratégie de résistance.

Les protocoles de sécurité sont des programmes informatiques qui définissent des règles d'échange entre les points d'un réseau et permettent de sécuriser les communications. Ils sont utilisés par exemple dans les distributeurs de billets, les abonnements aux chaînes de télévision payantes, la téléphonie mobile, le commerce électronique. Leur objectif est de garantir le secret d'une donnée, d'authentifier un des participants, de garantir l'anonymat ou la non-répudiation, etc. Ces programmes sont exécutés sur des réseaux ouverts facilement accessibles (comme internet). Aussi, pour démontrer qu'ils remplissent bien leurs objectifs, il est nécessaire de prendre en compte les attaques dont ils peuvent faire l'objet. L'objet de mon mémoire d'habilitation à diriger des recherches est de montrer que les méthodes formelles peuvent être utilisées avec succès pour entreprendre une analyse fine des protocoles cryptographiques, à travers une palette variée d'outils. Nous présentons des procédures pour déterminer de façon automatique si un protocole est sûr. Nous avons proposés différents algorithmes en fonction des propriétés de sécurité considérées ainsi que des primitives cryptographiques utilisées (chiffrement, signature, hachage, ou exclusif, etc.). D'autre part, nous caractérisons des conditions qui permettent de combiner les résultats précédents et de concevoir les protocoles de façon modulaire. Ces résultats se basent sur des modèles symboliques, très différents de ceux utilisés en cryptographie où la notion de sécurité est basée sur la théorie de la complexité. Cette notion de sécurité est mieux adaptée pour identifier toutes les attaques possibles dans la réalité mais, en contrepartie, les (lourdes) preuves de sécurité sont effectuées à la main et semblent difficilement automatisables. Nous avons identifié des hypothèses cryptographiques qui permettent de relier les approches cryptographiques et symboliques. Il est alors possible d'obtenir des preuves de sécurité à un niveau cryptographique, directement à partir des preuves établies (automatiquement) dans un cadre symbolique.

Ce travail s'inscrit dans le cadre de l'analyse de données symboliques. Le but de ce travail est de généraliser au cas symbolique certaines techniques de la classification automatique, aussi bien que quelques modèles lineaux. Ces généralisations seront toujours faites d'après deux principes fondamentaux de l'analyse de données symbolique, à savoir : l'analyse de données classique devrait être toujours un cas particulier de l'analyse de données symbolique et dans une analyse de données symbolique, tant la sortie comme l'entrée devraient être symboliques. Nous présentons deux nouveaux algorithmes, qui généralisent au cas symbolique de l'algorithme cap, l'algorithme cap et l'algorithme capso. Nous généralisons, pour les variables de type intervalle, la moyenne, la médiane, la moyenne des valeurs extrèmes, l'écart type, la déviation quartile, boites de dispersion (boxplot) et la correlation. Trois nouvelles méthodes sont aussi présentées pour effectuer la regression simple pour les variables de type intervalle. Nous étendons la methode d'analyse en composantes principales pour données de type histogramme, nous généralisons le cercle des corrélations au cas des variables de type intervalle. Nous proposons une méthode pour l'analyse des tableaux de proximités (multidimensional scaling) pour des données de type intervalle, que nous avons dénommée interscal. Pour chacune des méthodes présentées dans cette thèse un outil de logiciel a été mis en application. Ce logiciel a été dénommé PIMAD symbolique (programme integré de méthodes d'analyse de données symbolique).

Tout d'abord, la théorie des Tenseurs d'Inertie Globaux (TIG), qui permet d'écrire le modèle dynamique sous forme algébrique (sans dérivation), est reformulée et étendue aux systèmes multicorps à liaisons complexes et pseudo-paramètres. Puis deux méthodes ana-lytiques d'étude de sensibilité, quantifiant l'influence de paramètres de construction sur les performances, sont adaptées aux systèmes de solides rigides ; la méthode de l'état-adjoint, en général moins rapide que la méthode directe, devient intéressante lorsque le critère est une intégrale sur un intervalle de temps unique et que les paramètres de construction sont nombreux. Enfin, les outils formels des TIG sont utilisés pour obtenir le système de sensibilité et le système adjoint sans dérivation, et ainsi des équations mieux ordonnées. Les méthodes proposées sont validées sur des exemples (double-pendule orthogonal, véhicule) utilisant Maple ou Matlab. Les perspectives concernent les chaînes fermées et les sensibilités secondes
Analytical tools for systems of rigid bodies are proposed. First of all, the Global Inertia Tensors (GITs) theory, which allows the dynamic model to be written in an algebraic form (without any derivation), is extended under a new presentation to complex joints and pseudo-parameters systems. Secondly, two sensitivity analysis methods, which quantify the influence of constructive parameters on the system performances, are adapted to multibody systems ; the adjoint-state method, generally slower than the direct method, becomes interesting in the case of an integrated constraint on a single time interval and a great number of constructive parameters. Thirdly, the GITs formal tools are used to obtain the sensitivity system and the adjoint system without any derivation, and thus better organized equations. The proposed methods are validated on examples (orthogonal double pendulum, vehicles) using Maple or Matlab. The perspectives concern closed loops and second-order sensitivities

"Les protocoles cryptographiques sont utilisés pour assurer des communications sécurisées sur des canaux non sécurisés. Deux approches sont utilisées pour vérifier ces protocoles. L'approche symbolique suppose que la cryptographie est parfaite. Ainsi, il est impossible de déchiffrer un message sans la clef adéquate. Ce modèle a permis le développement d'outils automatiques pour la vérification des protocoles cryptographiques. L'approche computationnelle, au contraire, s'intéresse à la probabilité de "casser" les primitives cryptographiques. Ce modèle est mal adapté aux méthodes automatiques de part la difficulté des raisonnements sur les probabilités. Récemment, plusieurs travaux ont été entrepris pour relier ces deux approches et ainsi profiter de leurs avantages respectifs: automatisation dans le modèle symbolique et plus grand réalisme du modèle computationnel. Les travaux présentés dans cette thèse permettent de relier le modèle symbolique au modèle computationnel, dans le cas de protocoles utilisant des chiffrements asymétrique et symétrique, des signatures et des hachages. Nous montrons que tout ce qui peut se passer dans le modèle computationnel, avec une probabilité non négligeable, peut également se passer dans le modèle symbolique. Ainsi, les résultats des outils de vérification automatiques dans le modèle symboliques sont également valides dans le modèle computationnel. "
Cryptographic protocols are used for secure communications over unreliable channels. Two approaches are used for their verification. The symbolic approach assume perfect cryptography. Automatic verification of cryptographic protocols is common with this model. On the other hand, the computational approache focuses on the probability to break cryptographic primitives but is not well-suited for automatic verification. Recently, several works have attempted to link these two approaches and thus benefites of the advantage of each: automatic verification for symbolic model and greater realism for computational model. The works presented in this thesis allow to link the symbolic and the computationnel models for protocols using asymmetric and symmetric encryptions, signatures and hashes. We show that whatever can append in the computational model, with non negligible probability, can also happened in the symbolic model. Thus, results of automatic verification tools in the symbolic model also hold in the computational model

L'élaboration de modèles à partir d'informations numériques et symboliques relatives au comportement du système constitue la problématique de ce mémoire. Dans le premier chapitre, nous confrontons l'approche suivie dans le domaine de l'identification, qui s'appuie principalement sur la prise en compte d'informations numériques, à l'approche système expert qui se fonde sur des informations symboliques. Nous proposons alors une stratégie de prise en compte de l'ensemble de ces informations reposant sur l'utilisation d'un modèle flou linguistique. L'estimation des paramètres de ce type de modèles à partir d'informations numériques conduit à deux approches possibles, classique ou floue. La seconde, que nous choisissons, possède l'avantage de faire apparaître des critères très précis quant au choix du modèle et de la méthode d'estimation paramétrique. Le deuxième chapitre est consacré à l'analyse des différentes modèles flous linguistiques et méthodes d'estimation paramétrique par rapport aux critères définis au chapitre 1. On constate que le seul modèle vérifiant ces critères est le modèle à règles graduelles mono-entrée mono-sortie. Parallèlement, on vérifie qu'aucune méthode d'estimation paramétrique ne répond aux conditions spécifiées. Au cours du troisième chapitre, le modèle à règles graduelles est étendu au cas multi-entrées mono-sortie. Une réécriture sous forme symbolique de ce modèle est proposée afin de définir une stratégie d'estimation paramétrique adaptée à notre contexte et fondée sur la résolution d'équations de relation floue. Une méthodologie d'identification permettant la prise en compte des informations numériques et symboliques est ensuite proposée. Elle est appliquée à la modélisation d'un système statique non linéaire, cette application mettant en évidence les caractéristiques essentielles de la méthode
Building models from numeric and symbolic information relating to system behavior is the subject of this thesis. In the first chapter, the approach used in the domain of identification which is mainly based upon numeric information is compared with the expert system approach which is based on symbolic information. Then, we propose a strategy which takes into account both types of information by using a linguistic fuzzy model. Parametric estimation of these kinds of models from numeric information leads to two possible methods, classical or fuzzy. The second, which is chosen for our development, has the advantage of highlighting two particular criteria for the choice of the model and the parametric estimation method. The second chapter presents the analysis of linguistic fuzzy models and parametric estimation methods, with respect to the criteria defined in chapter 1. We demonstrate that only one model verifies all criteria, the single-input single-output gradual rules model. We also emphasize that no parametric estimation method satisfies the specified conditions. In the third chapter, the gradual rules model is extended to the multi-inputs single-output case. A symbolic form of this model is then proposed in order to define a parametric estimation strategy which fulfills our criteria and is based on the resolution of fuzzy relational equations. A methodology of identification which takes into account numeric and symbolic information is proposed. This is applied to the modelling of a static non-linear system which showcases the main characteristics of the method

Cette thèse propose une approche d'aide à la conception et au développement de modèles formels B. Cette approche se base sur la construction d'un système de transitions symboliques décrivant les comportements du modèle. Cette seconde vue est complémentaire avec la description orientée données du modèle B et peut être utilisée pour le décrire, le documenter ou le valider. Le système de transitions est élaboré à partir d'un espace d'états fourni par l'utilisateur et les transitions sont construites par résolution d'obligations de preuve. Nous proposons également de prendre en compte le processus de raffinement B en introduisant la notion de hiérarchie dans les systèmes de transitions. Cette représentation permet de mettre en évidence le lien entre les données des différents niveaux de raffinement. De plus, la méthode que nous proposons se base sur la décomposition des états d'une représentation du modèle abstrait, permettant ainsi de conserver la structure générale du système. Enfin, nous terminons ce manuscrit en décrivant l'outil GénéSyst qui implante cette méthode, ainsi que son utilisation dans le cadre du projet GECCOO, pour la vérification de propriétés de sécurité.

Cette thèse propose une approche d'aide à la conception et au développement de modèles formels B. Cette approche se base sur la construction d'un système de transitions symboliques décrivant les comportements du modèle. Cette seconde vue est complémentaire avec la description orientée données du modèle B et peut être utilisée pour le décrire, le documenter ou le valider. Le système de transitions est élaboré à partir d'un espace d'états fourni par l'utilisateur et les transitions sont construites par résolution d'obligations de preuve. Nous proposons également de prendre en compte le processus de raffinement B en introduisant la notion de hiérarchie dans les systèmes de transitions. Cette représentation permet de mettre en évidence le lien entre les données des différents niveaux de raffinement. De plus, la méthode que nous proposons se base sur la décomposition des états d'une représentation du modèle abstrait, permettant ainsi de conserver la structure générale du système. Enfin, nous terminons ce manuscrit en décrivant l'outil GénéSyst qui implante cette méthode, ainsi que son utilisation dans le cadre du projet GECCOO, pour la vérification de propriétés de sécurité
This thesis presents a new approach to help in the design and development of B models. This approach is based on the construction of a symbolic labeled transition system which describes the models behaviors. This description completes the data oriented description provided by the B model. It can also be used to document it or to validate it. The transition system is constructed from a user-defined data space on which transition relation is computed by solving proof obligations. We also propose to take into account the B refinement process by introducing some hierarchy in the transition systems. This representation allows exhibiting the link between data from several refinement levels. Moreover, the proposed method works by partitioning the states space of the more abstract description. This makes it possible to keep the abstract system global structure. Finally, the manuscript ends with a description of the GénéSyst tool, which implements the proposed method. We describe its use in the framework of the GECCOO project, in order to verify some security properties

Un des objectifs de l'analyse de données symboliques est de permettre une meilleure modélisation des variations et des imprécisions des données réelles. Ces données expriment en effet, un niveau de connaissance plus élevé, la modélisation doit donc offrir un formalisme plus riche que dans le cadre de l'analyse de données classiques. Un ensemble d'opérateurs de généralisation symbolique existent et permettent une synthèse et représentation des données par le formalisme des assertions, formalisme défini en analyse de données symboliques. Cette généralisation étant supervisée, est souvent sensible aux observations aberrantes. Lorsque les données que l'on souhaite généraliser sont hétérogènes, certaines assertions incluent des observations virtuelles. Face à ce nouveau formalisme et donc cette extension d'ordre sémantique que l'analyse de données symbolique a apporté, une nouvelle approche de traitement et d'interprétation s'impose. Notre objectif au cours de ce travail est d'améliorer tout d'abord cette généralisation et de proposer ensuite une méthode de traitement de ces données. Nous proposons donc une décomposition permettant d'améliorer la énéralisation tout en offrant le formalisme symbolique. Cette décomposition est basée sur un algorithme divisif de classification. Nous avons aussi proposé une méthode de généralisation symbolique non supervisée basée sur l'algorithme des cartes topologiques de Kohonen. L'avantage de cette méthode est de réduire les données d'une manière non supervisée et de modéliser les groupes homogènes obtenus par des données symboliques. Notre seconde contribution porte sur l'élaboration d'une méthode de classification traitant les données à structure complexe. Cette méthode est une adaptation de la version batch de l'algorithme des cartes topologiques de Kohonen aux tableaux de dissimilarités. En effet, seule la définition d'une mesure de dissimilarité adéquate, est nécessaire pour le bon déroulement de la méthode.

Cette thèse traite de la vérification des protocoles cryptographiques. Son sujet est la modélisation symbolique de protocoles avec pour objectif la preuve de propriétés de sécurité. La thèse comprend deux parties: La première partie définit quatre modèles symboliques différant par les moyens syntaxiques que les concepteur peuvent utiliser pour représenter les primitives cryptographiques. On a observé que les vérificateurs utilisent des astuces de codage dans des modèles peu riches pour représenter les primitives manquantes. Nous montrons que ces codages sont corrects dans le sens où un protocole qui satisfait une propriété dans un modèle peu expressif la satisfait aussi dans un modèle plus riche. Nous terminons cette partie par la description d'un module que nous avons implémenté pour la plate-forme de vérification AVISPA. Ce module est basé sur des résultats permettant le transfert des propriétés d'un protocole, prouvées dans un modèle symbolique, vers un modèle calculatoire. Dans la deuxième partie de cette thèse, nous développons un modèle symbolique pour représenter des protocoles récursifs. Ces protocoles sont difficiles à analyser et peu de résultats de décidabilité existent. Nous montrons que notre modèle symbolique permet de retrouver une attaque connue contre une propriété d'un protocole de commerce électronique. Nous proposons ensuite une modification de ce protocole et montrons que le protocole modifié satisfait cette propriété
This thesis deals with formal verification of cryptographic protocols. It is about symbolic modelling of protocols with the objective to prove security properties. The thesis is split in two parts: The first part defines four symbolic models which differ in the syntactic resources that protocol designers may use do model cryptographic primitives. We found that engineers employ coding dodges in order to model missing cryptographic primitives in simpler models. We showed that these codings are correct in that protocol properties that are proven in lean models also hold in more elaborated models. We finish this part with the description of a module implementation for the verification plate-form AVISPA. The module is based on results that allow to automatically translate protocol properties, proven in symbolic models, to computational models. In the second part of this thesis, we develop a symbolic model in order to represent ecursive protocols. This class of protocols is difficult to analyse and, so far, there are only few decidability results. We show that our symbolic model allows us to retrieve an previously known attack against a special security property of an e-commerce protocol. We then modify this protocol and show that the property holds for the modified protocol

Les modèles Booléens permettent de décrire des mécanismes de dysfonctionnement dans des maladies comme les cancers et d’anticiper les effets possibles de certaines drogues sur les dérégulations observées (mutations, surexpression de gènes, etc.). Cependant, les modèles développés sont génériques et ne sont pas spécifiques à un cancer, ou un patient. Nous présentons une méthodologie qui intègre des données omiques à ces modèles et permet ainsi de caractériser les différences de réponses aux traitements entre patients atteints d’un même cancer.

Ce chapitre dresse un panorama des approches portant sur l’élaboration de modèles qualitatifs de réseaux de régulation, via des démarches s’apparentant au model-checking (pour l’analyse) et à la programmation logique (pour l’inférence). Nous nous attachons à étudier ce problème dans un contexte large-échelle, autrement dit avec potentiellement plusieurs centaines de composants interagissant.

L’inférence des réseaux de régulation de gènes reste un challenge majeur en biologie des systèmes malgré de nombreux efforts. Aujourd’hui, grâce aux données multi-omiques en cellules uniques, aux modèles dynamiques et stochastiques de la régulation génétique, et à la puissance de calcul disponible, de nouvelles approches telles que WASABI permettront de surmonter toutes les difficultés de ce défi.

Ce chapitre présente le formalisme des réseaux booléens, leur relation avec d'autres modèles informatiques classiques, et leur adéquation pour la modélisation des systèmes biologiques. Le chapitre détaille la sémantique la plus permissive (MP) qui apporte une abstraction correcte des comportements quantitatifs, et conclut sur des aspects de complexité pour la vérification de propriétés dynamiques d'accessibilité et d'attracteurs.

Les modèles basés sur les réseaux métaboliques permettent de prédire le potentiel de production de molécules des organismes dans des conditions données. L’obtention de ces réseaux passe par une étape de complétion basée sur la résolution de problèmes d’optimisation combinatoire. Ce chapitre définit et décrit ces problèmes d'optimisation à partir de différents paradigmes de modélisation dynamique qui peuvent être associés à un système biologique.

Ce chapitre propose un langage de réécriture pour modéliser l’évolution d'ensembles d'instances de protéines et de leurs liaisons. Ce niveau de détail permet une représentation compacte grâce à une description locale des interactions et ouvre la voie à diverses abstractions. En particulier, nous utilisons ici cette structure pour calculer des propriétés locales des complexes protéiques.

Tout au long de l'histoire du cinéma mexicain, la narration mélodramatique a été une de ses caractéristiques les plus marquantes. C'est particulièrement vrai de la période que l'on appelle «l'Âge d'or» (1936-1955). L'objectif de notre essai est de considérer dans ce champ narratif spécifique, à partir de quelques titres emblématiques (Nosotros los pobres d'Ismael Rodriguez, Casa de vecindad de Juan Bustillo Oro et Los Fernández de Peralvillo d'Alejandro Galindo), l'importance des lieux urbains où se déroule le scénario. Tous apparaissent comme des lieux transitoires, entre détresse du déracinement et désir d'une intégration sociale, entre certitude de l'échec et espoir de la réussite; ils sont vécus comme des seuils à la fois matériels, culturels et surtout symboliques, permettant, à plus ou moins long terme, suite à une série d'épreuves ou d'initiations, d'avoir accès à une situation plus aisée voire à un nouveau statut social, ou au contraire de basculer dans une condition plus dégradante. Un de ces lieux est la vecindad, terme qui désigne au Mexique un espace résidentiel où cohabitent et se socialisent, dans une certaine promiscuité, de nombreuses familles de classes populaires, venues de l'exode rural ou du déclassement urbain. Dans ce microcosme bouillonnant s'établissent des codes sociaux et certains modèles de conduite acceptables qui à leur tour reflètent une organisation sociale et morale qui dépasse ses propres limites. Dans la vecindad -- et dans ses prolongements naturels que sont la prison ou le cabaret -- le respect des rôles génériques contraignants et des représentations dominantes de la vertu morale contribuent à garantir la coexistence pacifique de ses membres dans les limites de l'«entre-soi» et du «chez soi», tandis que l'infraction de cette norme sociale entraîne souvent l'exclusion et la dégradation, particulièrement lorsque la transgression vient des femmes. Ainsi, le cinéma mexicain propose, d'une manière parfois plus vivante que la littérature, les nombreux visages de ce comportement social ainsi qu'une interaction médiatique fascinante avec les publics populaires qui sont leur première cible.

Dans son ouvrage de 2010 (« Les images de l’eau dans le cinéma français des années 20 », Presses Universitaires de Rennes), Eric Thouvenel interroge la profusion des images de la liquidité dans une période bien précise du cinéma français, mais tout en l’interprétant comme un symptôme du temps ; non seulement d’une époque trouble, postérieure à la Grande Guerre, mais du temps lui-même. En effet, au début du XXème siècle, le développement des technologies cinématographiques s’accompagne d’une redécouverte de l’ensemble de la réalité comme liquide, et ainsi d’une remise de la question du dynamisme, de la temporalité et du mouvement, au centre des thématisations dans tous les domaines. Cette redécouverte opère dans le champ du social, de l’art, de la philosophie (notamment grâce à la pensée bergsonienne), et aussi de la science (avec la mécanique des fluides). On traverse ainsi un seuil. On engage un changement de paradigme symbolique, tout comme si depuis le XXème siècle on avait quitté un modèle tellurien pour nous donner à l’immersion d’un modèle aquatique. Ceci justifie suffisamment la démarche de Thounevel, voulant analyser les images aquatiques dans la France des années 20, d’un regard lui-même fluide (p.16), mais ceci justifie aussi à nos yeux un décryptage et une systématisation du dit regard.Nous proposons ainsi de décomposer ce regard fluide, notamment dans l’œuvre de Thounevel et de Gilles Deleuze (dans « Cinéma 1, Image-mouvement » et « Cinéma 2, Image-temps », Éditions de Minuit), visant la plus grande simplicité schématique, et tenter de l’appliquer au cinéma de Philippe Garrel, comme cas d’étude. L’œuvre de Garrel, se prêtant tout particulièrement à une analyse liquide, nous accordera ainsi, la convenance d’un exemple contemporain et la délimitation nécessaire à cette construction d’un cadre méthodologique pour les approches théoriques du cinéma à venir.DOI: http://dx.doi.org/10.4995/XXVColloqueAFUE.2016.3090

La rhétorique du point de vue du monde de la vie La rhétorique de l’image dont parlait Barthes, reprise d’une manière beaucoup plus systématique dans les travaux du Groupe µ, n’est qu’une partie de la rhétorique classique, l’elocutio, mais c’est aussi celle qui a dominé dans l’Occident pendant ces derniers 500 ans. À l’extérieur de la sémiotique, cependant, le renouveau de la rhétorique à l’époque contemporaine tend à concevoir cette dernière comme la science qu’étudie la communication. Or, nous savons que la sémiotique a souvent été identifiée comme étant la science de la communication, et un autre candidat à ce titre est sans doute l’herméneutique. Alors que ces trois disciplines ont toutes trait au processus entier, elles le conçoivent dans une perspective chaque fois différente. La rhétorique prend le point de vue du créateur du message : il demande comment il faut s’exprimer pour obtenir l’adhérence de l’autre. L’herméneutique prend le point de vue du récepteur : sa question porte sur les moyens pour comprendre le message de l'autre. La sémiotique prend une position intermédiaire aux deux autres, c’est-à-dire au sein de la phase allant de l’artefact à sa concrétisation : elle demande quelles sont les ressources disponibles pour faire se produire le processus. À une telle rhétorique informée par la sémiotique la contribution du Groupe µ a été de toute première importance. Cependant, l’investigation des ressources disponibles, qui sont différentes dans le cas de l’image que dans celui de la langue, peut recevoir une base plus certaine en partant du monde de la vie, dans le sens de la phénoménologie, qui est aussi celui de l’écologie dans le sens de Gibson et le monde naturel tel que le comprend Greimas. Si l’on veut comprendre la manière dont la divergence est produite dans les images, il faut commencer par considérer ce qui est donné pour acquis, dans le sens à la fois de ce qui est normal, et de ce qui est normatif. Dans le monde de la vie, il y a certaines choses qui ont tendance à se présenter ensemble, en contiguïté ou comme des parties d’un tout (désormais, la factorialité). C’est la dimension indicielle. Mais le sens commun s'attend également à ce que les choses qui apparaissent ensemble soient suffisamment différentes pour pouvoir être distinguées, sans aller à l'extrême opposé de s’exclure mutuellement (une observation qui peut être entendue comme une généralisation de ce que le Groupe µ dit sur la norme de l’image, la homomatérialité et la hétéroformalité). En ce sens, il y a une rhétorique de trop de ressemblance ainsi que de trop de différence. Nous appellerons ceci la dimension iconique. Une troisième rhétorique prend son point de départ dans le caractère de signe de l'image. Nos attentes sont déçues tant en trouvant une trop grande partie de la réalité dans l'image qu’en rencontrant des niveaux supplémentaires de fiction au sein du contenu pictural. On peut appeler ceci la dimension symbolique. Enfin, les images remplissent des fonctions différentes dans une société donnée et sont, en raison de ce fait, imputables à diverses catégories, donnant ainsi lieu à une quatrième rhétorique dans laquelle nos attentes, en ce qui concerne les catégories sociales auxquelles les images sont assignées, ne sont pas remplies. On peut parler ici d’une dimension de catégorisation socioculturelle. Avant d’aborder les figures rhétoriques, ou ce qui en tient lieu, il est cependant nécessaire de discuter dans quelle mesure les ressources des images comprennent une part de dispositio, dans d’autres termes, une structure argumentative. Si nous définissons une affirmation comme étant une construction verbale, alors il est trivialement vrai que les images ne peuvent rien affirmer. Toutefois, si nous définissons une affirmation plus simplement comme une opération, au moyen de laquelle une propriété particulière est assignée à une entité particulière, alors il est possible pour l'image de faire des affirmations à la façon des images. Or, même ceci peut sembler impossible, s’il est vrai que les images, comme on l’a souvent dit, ne font que reproduire le monde de notre expérience. Au contraire, il faut admettre que les images peuvent se servir des arguments qui, dans le sens de Perelman, s’appuient sur la structure de la réalité ou servent à changer cette structure-là. Il s’ensuit que les transformations homogènes, contrairement à ce que suggère le Groupe µ, font aussi partie de la rhétorique, mais de la rhétorique de la dispositio. Considérée comme l’une des transformations possibles à partir du monde de la vie, la première dimension de la rhétorique correspond plus directement à la rhétorique telle qu’elle a été conçue par le Groupe µ, mais en retournant aux fondements jetés par la sémiotique phénoménologique proposée dans Pictorial concepts (1989). Contrairement au Groupe µ, nous proposons de distinguer les transformations portant sur la factorialité (la relation des parties au tout) et celles concernant la contiguïté. C’est « l’objet indépendant », dans le sens de James Gibson, qui fait la différence entre la contiguïté et la factorialité : il s’agit d’un degré d’intégration plus ou moins poussée. En fait, il y a sans doute des cas intermédiaires entre l’objet indépendant avec ses parties et la constellation arbitraire, mais ces cas-là sont aussi qualitativement vécus : le jeu, la série, l’ensemble. La rhétorique, de ce point de vue, relève de la méréologie, la science des parties et du tout, formalisée par Lesniewski en tirant son inspiration de Husserl et de Twardowski. Notre deuxième observation concerne la nature de l’opération nous faisant passer du monde de la vie à l’image. Dans la majorité de cas, l’opération rhétorique, pour fonctionner, à besoin non pas d’une absence de ce qui est attendu ou de la présence de quelque chose qui n’est pas attendu, mais des deux à la fois. Rares sont les cas (surtout s’agissant de la contiguïté) où une simple absence peut créer un effet de rhétorique. Dans les termes de la rhétorique générale d’abord conçue par le Groupe µ, la substitution est une opération rhétorique plus sûre que l’addition ou la suppression. D’autre part, dans le cas de la factorialité, l’effet est tellement différent selon les relations entre le tout et les parties qu’il faut spécifier la nature du rapport de la partie au tout. Il faut surtout distinguer le cas où quelque chose est ajouté à un tout qui est déjà en soi un objet indépendant, et le cas où les parties font partie d’un autre objet indépendant que le tout qui est perçu. Nos attentes peuvent être déçues par d’autres opérations que l’absence ou la présence d’un élément. Il peut y avoir une contradiction entre l’élément attendu et l’élément réellement présent. C’est la dimension iconique de la rhétorique. Les images, il est vrai, ne peuvent pas présenter des contradictions proprement dites, mais elles peuvent comporter toute sorte de manifestations d’une ressemblance ou d’une différence plus grande que ce que l’on a anticipé. Cet effet est présent dans plusieurs exemples considérés par le Groupe µ, sans que la spécificité de l’opération soit prise en compte. S’agissant d’un signe, en l’occurrence d’une image, il y a toujours un risque de confusion entre le signe et ce qui est signifié, et il est possible d’en tirer une rhétorique. À un extrême, le signe peut incorporer des objets réels ; à l’autre extrême, il peut contenir d’autres signes, notamment d’autres images, comme c’est le cas avec les images représentant d’autres images. Il s’agit donc de la dimension symbolique de la rhétorique. Finalement, la catégorisation des signes, dans ce cas les images, peut donner lieu à une rhétorique plus clairement socioculturelle. Les images peuvent être catégorisées en tenant compte de leur manière de construction, de la fonction qu’elles sont censées remplir dans la société, ou de leur manière de circuler à l’intérieur de la société. Les attentes qui peuvent être déçues dans ces cas ne concernent pas seulement l’appartenance de certaines images à des catégories particulières, mais surtout la combinaison de certaines catégories de construction avec certaines catégories de fonction et certaines catégories de circulation. Toute l’aventure du modernisme dans l’art plastique peut être conçue comme un vaste geste rhétorique à partir de la notion d’art à la fin du 18e siècle : une peinture à l’huile (construction) circulant dans des salons, des galeries et des musées (circulation) ayant pour but de produire un effet de plaisir esthétique (fonction). Dans le présent texte, j'ai suggéré que, contrairement aux signes verbaux, les images sont immédiatement rhétoriques, parce qu'elles nous offrent en même temps leur similitude et leur différence par rapport au monde de la perception. Par conséquent, j'ai fait observer que la rhétorique des images doit être fondée sur les structures de perception telles qu’elles apparaissent au sens commun, surdéterminées par le monde de la vie socioculturel spécifique. La dimension primaire de la rhétorique de l’image, l’indexicalité, dérive sa signification d'un écart par rapport à l'intégration relative des voisinages, des objets indépendants et des totalités de niveaux supérieurs. Elle peut concerner la contiguïté ou la factorialité, mais elle suppose d'habitude à la fois la présence de quelque chose d’inattendu et l'absence de quelque chose de prévu. L’iconicité, qui détermine la deuxième dimension, est fondée sur l'expectative d'une différenciation relative des objets du monde, qui ne suppose pas trop de similitude, ni trop de dissimilitude. La troisième dimension dépend du caractère fictif de l’image comme signe, dont les niveaux peuvent être confondus soit par une expérience trop directe, soit par des degrés de fiction trop nombreux. Finalement, la quatrième dimension concerne l'image en tant qu’objet social, faisant partie de certaines catégories de construction, de circulation, et de fonction. L'avantage de cette conception, par rapport au modèle de Groupe µ auquel il est endetté, consiste en son attention plus proche aux structures de la perception du sens commun.