To see the other types of publications on this topic, follow the link: Ophtalmologie mathématique et informatique.
Journal articles on the topic 'Ophtalmologie mathématique et informatique'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 17 journal articles for your research on the topic 'Ophtalmologie mathématique et informatique.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse journal articles on a wide variety of disciplines and organise your bibliography correctly.
1
Treuil, Jean-Pierre, Claude Lobry, Claude Millier, Jean-Pierre Müller, and Dominique Hervé. "De l'équation mathématique au programme informatique, dialogue entre mathématiciens et informaticiens." Natures Sciences Sociétés 15, no. 1 (January 2007): 33–43. http://dx.doi.org/10.1051/nss:2007021.
Full text
2
Clémençon, Stéphan. "Intelligence artificielle : défis scientifiques et attentes socio-économiques." Annales des Mines - Enjeux numériques N° 1, no. 1 (January 24, 2018): 78–80. http://dx.doi.org/10.3917/ennu.001.0078.
Full textAbstract:
Au-delà de l’effervescence médiatique qui les entoure aujourd’hui, des craintes et des espoirs qu’ils suscitent, les succès récents de l’intelligence artificielle, et plus particulièrement ceux du machine-learning ‒ ce domaine à l’interface des disciplines mathématique et informatique qui vise à développer des techniques pour l’analyse automatique de données massives, à des fins prédictives le plus souvent ‒, reposent en grande majorité sur des concepts scientifiques formulés il y a maintenant plusieurs décennies, alors même qu’ils nous sont présentés comme les signes avant-coureurs d’une révolution qui n’épargnera aucun secteur de l’activité humaine.
3
Farhi, Robert. "Comment lutter contre la désinformation scientifique ? Journée Sciences et Médias 2018." Reflets de la physique, no. 58 (June 2018): 33–37. http://dx.doi.org/10.1051/refdp/201858033.
Full textAbstract:
Le 11 janvier 2018 s’est tenue à la Bibliothèque nationale de France (quai François Mauriac, Paris, 13e) la quatrième journée Sciences et Médias. Le but de ces journées est de participer à la réflexion sur la façon dont les médias se saisissent des questions scientifiques. L’édition 2018 était organisée par l’Association des Journalistes Scientifiques de la Presse d’Information (AJSPI), la Bibliothèque nationale de France (BnF), la Société Chimique de France (SCF), la Société Française de Physique (SFP), la Société Française de Statistique (SFdS), la Société Informatique de France (SIF), la Société de Mathématiques Appliquées et Industrielles (SMAI) et la Société Mathématique de France (SMF).
4
Michaut, Cécile. "Il faut plus de femmes scientifiques dans les médias ! Journée Sciences et Médias 2021." Reflets de la physique, no. 70 (October 2021): 38–43. http://dx.doi.org/10.1051/refdp/202170038.
Full textAbstract:
Organismes de recherche et journalistes doivent travailler ensemble pour une meilleure représentation des femmes dans les médias. Au-delà de l’équité, cette diversité est garante d’une meilleure science. Après deux reports, la cinquième édition des Journées Sciences et Médias : « Femmes scientifiques à la Une ! Comment améliorer la représentation des femmes scientifiques dans les médias ? » s’est enfin tenue le 29 janvier 2021 à la Bibliothèque nationale de France (BnF, site François Mitterand, Paris 13e). Cette journée était coorganisée par la BnF, l’Association des Journalistes Scientifiques de la Presse d’Information (AJSPI), la Société Française de Physique (SFP), la Société Chimique de France (SCF), la Société Informatique de France (SIF), la Société de Mathématiques Appliquées et Industrielles (SMAI) et la Société Mathématique de France (SMF).
5
Billion, Arnaud. "L’hypothèse de la convergence de toute science dans l’ordinateur, par la force de la méthode." Revue confluence N° 6, no. 2 (October 21, 2024): 43–58. https://doi.org/10.3917/confl.006.0043.
Full textAbstract:
L’article cherche à apporter une explication à la polysémie de la notion de donnée. Il formule, pour ce faire, l’hypothèse de la convergence : sous la force de la méthode scientifique, toutes les sciences s’atomiseraient d’elles-mêmes en informatique, et les divers types de donnée (jusqu’à la donnée numérique) correspondraient à divers stades de cette atomisation. Pour prouver cette hypothèse, la méthode scientifique est d’abord positionnée dans la société plutôt que dans sa pureté idéelle. Ainsi concrètement, la science est sujette à une tension prescriptive que l’on reconnaît dans la méthode juridique, ce que manifeste l’histoire du terme « loi naturelle ». Cela posé, on peut s’interroger sur le rôle de la mathématique dans la translation de toute science dans un ordinateur du fait de la méthode. Une déperdition en rationalité est induite. Prenant un pas de recul, on peut enfin relever l’incapacité des critères scientifiques plus évaluatifs à freiner l’accomplissement informatique de toute science. Discipline : DROIT DE L’INFORMATIQUE
6
Boullier, Dominique. "Distribution du pouvoir d’agir des entités sociales dans les études informatiques sur Twitter." Sociologie et sociétés 49, no. 2 (December 4, 2018): 113–36. http://dx.doi.org/10.7202/1054276ar.
Full textAbstract:
La recherche informatique traite souvent de problèmes qui relèvent des sciences sociales. Cet article propose d’examiner la façon dont ces travaux, souvent très formalisés sur le plan mathématique et algorithmique, reprennent de fait des points de vue standards sur le social. À cette occasion, il est en effet proposé de réduire les choix de points de vue effectués par les sciences sociales à trois distributions du pouvoir d’agir (agencyou agentivité) à des entités différentes : structure, préférences individuelles et réplications (sans ignorer leurs diverses combinaisons). Une discussion approfondie de ces approches dans la tradition sociologique permet de situer la pertinence d’une telle réduction à trois points de vue. Le terrain Twitter constitue un prototype très attractif pour les recherches en informatique qui veulent traiter de processus sociaux : malgré son caractère de haute fréquence qui favoriserait spontanément l’étude du pouvoir d’agir des conversations ou des messages, les trois points de vue (structure, préférences individuelles et réplications) se révèlent être utilisés dans cette littérature, ce qui montrea fortiorila puissance des points de vue que les sciences sociales ont réussi à diffuser chez tous les publics. La présentation d’articles remarquables pour chacune de ces distributions d’agentivité permet d’accéder à la fécondité de ces travaux, trop souvent ignorés des sciences sociales.
7
Toussaint, J., T. Habtemariam, D. Oryang, and S. Wilson. "Développement d’un modèle de simulation informatique pour l’anaplasmose, notamment dans les Antilles." Revue d’élevage et de médecine vétérinaire des pays tropicaux 46, no. 1-2 (January 1, 1993): 47–48. http://dx.doi.org/10.19182/remvt.9396.
Full textAbstract:
L’anaplasmose, qui continue à être une énigme dans la région des Caraïbes, est responsable de pertes économiques élevées dans la production animale. L’épidémiologie de cette maladie est complexe et la voie efficace et rationnelle à suivre pour son contrôle demeure encore incertaine. On a donc pensé que l’élaboration d’un modèle épidémiologique utilisant des modèles de simulation sur ordinateur serait utile pour une meilleure compréhension de cette maladie. Un modèle de simulation sur ordinateur qui donne les tendances réalistes de la dynamique de la maladie a donc été développé. De plus, ce cadre fournit aux décideurs un outil d’évaluation de différentes alternatives de lutte, pour un planning rationnel et pour l’allocation de fonds. L’élaboration du modèle a été basé sur la mise en œuvre d’une base de connaissances épidémiologiques pour l’anaplasmose ; d’un modèle conceptuel pour les sous-populations de bovins et de tiques ; d’un modèle d’analyse de systèmes pour les sous-populations de bovins et de tiques ; d’un modèle mathématique ; d’un modèle de simulation informatique ; sur l’évaluation du modèle de simulation et l’utilisation de ce dernier pour l’évaluation des alternatives de lutte contre Anaplasma. La base de connaissances a été développée en utilisant la “Epidemiologic Problem Oriented Approach” (EPOA) pour la collecte et la compilation de l’information dans une base condensée de connaissances épidémiologiques sur l’anaplasmose. L’information sur l’anaplasmose a été extraite de manuels sélectionnés de médecine vétérinaire, de revues contemporaines, de documents divers, et de questionnaires remplis par des vétérinaires antillais. L’information épidémiologique a été présentée en diagrammes afin de conceptualiser l’épidémiologie détaillée de la maladie. En même temps, elle montre les parties fondamentales du système anaplasmose pour mieux décrire et analyser la maladie. Des diagrammes d’analyse de systèmes ont également été utilisés pour établir une corrélation entre le niveau pathologique et un niveau particulier qui était décrit et défini par des équations différentielles classiques. Toutes les équations étaient approchées en utilisant la méthode d’intégration de Euler. Ainsi, la dynamique de la maladie a été révélée. Ces diagrammes ont fourni le cadre sur lequel le modèle a été construit. L’évaluation du modèle a montré qu’il est stable. Des tendances biologiquement solides et raisonnables ont été affichées. Ce cadre a ensuite été utilisé pour évaluer les présentations diverses de la maladie et les alternatives différentes pour la lutte. Les manifestations de la maladie observées comprenaient la présentation de populations de bovins et de tiques avec et sans maladie, la dynamique de la maladie quant elle fut introduite par des bovins et des tiques infectés. Les alternatives de lutte testées sont : les effets de niveaux différents de lutte acaricide sur la population de tiques et l’évolution de la maladie ; l’influence de la génétique sur l’incidence de la maladie ; les effets de niveaux différents d’application d’antibiotiques sur la dynamique de la maladie, quant elle fut introduite par des bovins et des tiques infectieux. Le modèle de simulation informatique doit être testé et validé systématiquement pour être sensible aux conditions du terrain.
8
Mocanu, C., and M. Mocanu. "401 Soutien informatique aux processus de prise de décision en ophtalmologie : une étude de cas dans le diagnostic et le suivi du glaucome." Journal Français d'Ophtalmologie 31 (April 2008): 134. http://dx.doi.org/10.1016/s0181-5512(08)70999-9.
Full text
9
Abdallah, Mohamed Abdallah. "Passage Des Coordonnées Géocentriques Aux Coordonnées Géodésiques Géographiques, Démarches Mathématiques : Cas Du Point 05/15 - 0001, Un Point Du Réseau Géodésique Congolais Situé A Kinshasa." International Journal of Progressive Sciences and Technologies 46, no. 2 (September 24, 2024): 195. https://doi.org/10.52155/ijpsat.v46.2.6580.
Full textAbstract:
La profession d’Ingénieur Géomètre Topographe est parmi des professions, la plus influencée par l’informatique et la NTIC. Cette influence a grandement changé la façon de travailler des ingénieurs géomètres topographes sur terrain tout comme au bureau. De fois, les résultats fournis par des outils et logiciels spécialisés apparaissent pour certains une vérité absolue, à tel point qu’on s’en passe des doutes sur la qualité des résultats. Or la profession reste trop urgente en terme de la précision sur les différentes déterminations, il est donc très essentiel de rappeler aux professionnels certaines démarches mathématiques conduisant à la programmation des logiciels et outils de la nouvelle ère, ces démarches peuvent servir des appuis de taille pour valider ou sinon résoudre un petit souci de format des coordonnées que l’on souhaite utiliser dans un projet.Dans cet article, nous nous sommes donnés le luxe de rappeler la démarche mathématique qui nous conduit en cette ère informatique à convertir très rapidement des coordonnées en importe quel format que l’on désire. C’est ainsi pour des raisons scientifiques et techniques, nous avons traité ce problème de transformation des coordonnées géocentriques aux coordonnées géodésiques géographiques pour démystifier les démarches informatiques. Nous avons exploité des données du point 05/15-0001 du réseau géodésique congolais implanté et calculé en 2015, il a fallu pour cette étude de monter un scénario, comme si le point n’était connu qu’en coordonnées géocentriques et sur base des calculs en exploitant les différentes méthodes de calcul, nous sommes arrivés à calculer les coordonnées de ce point sous format géodésique géographique.Pour ne pas être si long, nous avons présenté et expliqué deux méthodes de calcul, dont l’une est celle dite directe et l’autre est nommée la méthode des itérations, après les explications, nous avons porté notre choix sur la méthode des itérations car ça paraît plus technique et précise. Compte tenu de mon profil d’enseignant et de professionnel, j’ai eu des débats intéressants sur cette problématique, il s’est fait remarquer une certaine confusion sur des concepts, certains professionnels et apprenants ne trouvent plus la place pour des vérifications poussées en utilisant des méthodes mathématiques, qui, d’ailleurs, ils arrivent même à les qualifier de dépasser. Alors c’était en quelque sorte ça, qui m’a poussé d’écrire en ce sens, en fin d’interpeller les apprenants ainsi que d’autres professionnels sur la question. Quand on ignore comment est programmé un logiciel, on aura certainement les difficultés de bien le manipuler ainsi que de vérifier le résultat. Le côté sombre de la technologie, c’est cette manière de réduire un ingénieur à un simple manipulateur d’un programme informatique, les questions fondamentales ne se posent plus, c’est vraiment de l’automate et ce qui n’est pas assez bien.
10
Simon, E., P. Schlicke, A. Mogenet, E. Gouton, J. Pluvy, L. Greillier, P. Tomasini, and S. Benzekry. "Modélisation mathématique des métastases cérébrales du cancer bronchique non à petites cellules : un outil informatique personnalisé pour prédire l’apparition des métastases et la survie des patients." Revue des Maladies Respiratoires Actualités 15, no. 1 (January 2023): 237–38. http://dx.doi.org/10.1016/j.rmra.2022.11.432.
Full text
11
Rodríguez, Ruben Dario Cruz, and Alexis Castillo Sauza. "Alternativa para minimizar el costo de la energía eléctrica en zonas francas de Colombia / Proposal to minimize the cost of electricity in commercial areas of Colombia." Revista EAN, no. 72 (August 1, 2013): 90. http://dx.doi.org/10.21158/01208160.n72.2012.570.
Full textAbstract:
RESUMENMinimizar el costo de la energía eléctrica en Zonas Francas de Colombia, es una necesidad apremiante por ser este un factor directamente relacionado con la competitividad de parques industriales que, bajo un régimen especial, promueven la entrada de nueva inversión al país. En este artículo se presenta una herramienta de optimización de la explotación de una planta de autogeneración que junto con la conexión convencional a la red eléctrica se usan como fuentes para el abastecimiento de energía de una Zona Franca. Bajo estas condiciones generales se ha valorado el beneficio de la condición hipotética de operación. Como herramienta computacional para resolver el modelo planteado usamos el Sistema General de Modelamiento Algebraico - GAMS - con la ayuda de MATLAB para agilizar el ingreso y procesamiento de datos.ABSTRACTMinimizing the cost of electricity in commercial areas of Colombia is one of the biggest needs of this economic sector covering the competitiveness of industrial parks that stimulates investment in this country. In this article, an optimization tool is described on the exploitation of a self- generation plant that together with the conventional connection to electrical networks is used as a source of energy to supply it to commercial areas. Under these general conditions, the advantage of operational hypothetic conditions has been evaluated. As a computational tool to determine this model, we apply the so- called General System of Algebra Model- GAMS- with the support of MATLAB to facilitate incomes and data processing.RESUMÉÉMinimiser le coût de l’énergie électrique dans les zones franches colombiennes est une nécessité urgente car ces zones représentent un facteur de compétitivité de l’économie locale et qui, en vertu d’un régime fiscal différent, favorisent l’entrée de nouveaux capitaux. Cet article présente un outil permettant l’optimisation de l’exploitation énergétique qui, grâce à des générateurs électriques utilisés comme sources d’approvisionnement en énergie de zone de libre-échange, améliore la connexion classique au réseau électrique. Dans ces conditions, la valeur ajoutée du bénéfice hypothétique de l’opération se trouve valorisée. L’outil de calcul informatique mis en place pour résoudre le modèle mathématique est le Système Général de Modélisation Algébrique - GAM – qui s’utilise à l’aide du MATLAB afin de simplifier la saisie et le traitement des données.RESUMOMinimizar o custo da energia elétrica em Zonas de Comércio Livre da Colômbia, é uma necessidade urgente por ser um fator diretamente relacionado com a competitividade de parques industriais que, em regime especial, promovem a entrada de novos investimentos no país. Neste artigo apresenta-se uma ferramenta para otimizar a explotação de uma planta de autogeração que junto com a ligacão convencional à rede elétrica são usadas como fontes para fornecer de energia uma Zona de Comércio Livre. O benefício da condição hipotética de operação foi valorado nestas condições gerais. Como ferramenta computacional para resolver o modelo proposto usou-se o Sistema Geral de Modelagem Algébrica - GAMS - com a ajuda de MATLAB para agilizar o ingresso e processamento de dados.
12
Gräf, Albert. "Leçons tirées de l’enseignement de l’informatique musicale à des musicologues." Revue Francophone Informatique et Musique 1, no. 1 (2022). http://dx.doi.org/10.56698/rfim.530.
Full textAbstract:
Nous présentons des expériences d’enseignement de la musique-informatique à des étudiants en musicologie et de diverses disciplines (informatique, mathématiques, sciences médiatiques) à l’université pluridisciplinaire JGU, dans le groupe de recherche Music-Informatics (Institut d’histoire de l’art et de musicologie). Nos cours couvrent un large éventail de sujets, allant des théories sous-jacentes (acoustique, traitement du signal numérique, théorie mathématique de la musique et certains domaines de l’informatique) à des sujets pratiques en technologie musicale et en programmation informatique. Réfléchir à qui et pourquoi nous enseignons est aussi important que de demander quoi enseigner et comment. Dans ce texte, nous réfléchissons à certaines de ces questions et à leurs interdépendances, et nous discutons également des outils logiciels et des langages de programmation utilisés.
13
Arias, Emilio J. Gallego, Pierre Jouvelot, and Benoît Pin. "La preuve de théorèmes pour les masses (soniques)." Revue Francophone Informatique et Musique 1, no. 1 (2022). http://dx.doi.org/10.56698/rfim.489.
Full textAbstract:
Après avoir motivé la nécessité d’introduire des outils interactifs pour l’enseignement en informatique musicale et, plus généralement, dans les disciplines scientifiques, nous décrivons jsCoq, notre nouvelle interface utilisateur pour le logiciel de preuve mathématique Coq. Cet outil fournit aux enseignants un moyen efficace pour concevoir et mettre en œuvre des cours qui combinent textes, audio, images et preuve interactive de théorèmes. Nous présentons deux études de cas d’utilisation dans le domaine audio et les résultats d’une évaluation de jsCoq sur le terrain.
14
Abdenebi, Hafsia, Bariza Zitouni, Hocine Ben Moussa, and Djamel Haddad. "Effet de températures d’hydrogène sur le gradient thermique d’une SOFC planaire à anode supportée." Journal of Renewable Energies 14, no. 1 (October 24, 2023). http://dx.doi.org/10.54966/jreen.v14i1.241.
Full textAbstract:
Ce présent travail a pour objectif la visualiser du champ thermique dans les composants solides et poreux d’une pile à oxyde solide planaire à anode supportée (SOFC_P à AS). L’intérêt est porté à la localisation des hautes températures. Les paramètres étudiés sont: les valeurs de température des gaz, hydrogène et air, alimentant la pile et la source totale de chaleur. Ces dernières sont dues aux surtensions électriques; ohmiques, activation et concentration et au phénomène exothermique lors de la formation de l’eau. Cette étude nécessite un couplage des phénomènes de transport de masse, d’énergie en plus de la loi d’écoulement gouvernée par la loi de Darcy, ainsi que la tension de la pile. Un modèle mathématique bidimensionnel est présenté. La méthode adoptée pour résoudre numériquement un tel problème est celle des différences finies. Le champ de température dans toute la pile (les deux interconnexions, la cathode, l’anode et l’électrolyte) a été obtenu en développant un programme informatique (Fortran).
15
-, Elias Semajeri Ladislas. "Analyse Des Applications De La Théorie Des Groupes En Cryptographie Pour La Sécurisation Des Communications Dans Un Réseau Informatique." International Journal For Multidisciplinary Research 5, no. 6 (November 16, 2023). http://dx.doi.org/10.36948/ijfmr.2023.v05i06.9016.
Full textAbstract:
L'évolution de la cryptographie, de ses méthodes initiales basées sur des substitutions et des transpositions, à des approches plus formelles, a été profondément influencée par la théorie des groupes. Au cours du XXe siècle, cette théorie a fourni un langage mathématique abstrait pour décrire les opérations de permutation et de substitution, jetant ainsi les bases de systèmes cryptographiques plus robustes. Cet article propose une analyse approfondie des applications de la théorie des groupes en cryptographie, mettant en lumière son rôle essentiel dans la sécurisation des communications réseau et met en évidence les succès tangibles de l'application de la théorie des groupes en cryptographie, soulignant sa pertinence dans un paysage de sécurité en constante évolution. Les perspectives futures et les défis actuels guident vers une meilleure compréhension et une mise en œuvre améliorée de cette théorie fondamentale dans le domaine de la cryptographie moderne.
16
Loireau, Maud, Mireille Fargette, Moussa Dieng, and Moussa Sall. "Cadre conceptuel pour l’étude de la relation société-milieu : attache et insertion au monde." BASE, 2023. http://dx.doi.org/10.25518/1780-4507.20308.
Full textAbstract:
Description du sujet. Cet article traite d’une manière d’aborder la relation société-milieu, adaptée au caractère multi-échelle et interdisciplinaire des problématiques socio-écologiques contemporaines complexes. Objectifs. Son objectif est méthodologique : construire un cadre conceptuel, formel et générique, qui ait le potentiel de guider la phase d'observation et rende mieux compte de la relation société-milieu. Méthode. La modélisation conceptuelle utilise un standard de langage formel, des ontologies de domaines de connaissance pour définir un méta-modèle d'observation puis modéliser l'objet d'intérêt, un triplet, lui-même en relation avec son contexte, et la notion de service écosystémique (SE). Elle procède par abstraction croissante. Résultats. Le modèle RESOMI décrit le triplet-SE (une personne - un faisceau de liens en vue de services écosystémiques - un espace géographique) en précisant ses attributs internes et ses relations avec son contexte territorial, puis en abstrait des fonctions ; il distingue les concepts directement observables (1er niveau d'abstraction) de ceux des fonctions, non directement observables (2e niveau d'abstraction). De plus, avec un niveau d'abstraction encore supérieur, le modèle AIM positionne deux nouveaux concepts, attache et insertion au monde, dans une ingénierie territoriale elle-même abstraite à partir de l'organisation des fonctions. Conclusions. Le cadre conceptuel formé de deux modèles opère des ponts entre disciplines et échelles ; il offre des perspectives de modélisation mathématique et informatique. Son potentiel d’observation-description est mis en perspective dans deux expériences de terrain. Il est ensuite discuté de façon générale et pour sa capacité à intégrer plus d'éthique et de durabilité dans les problématiques socio-écologiques pour une meilleure gouvernance.
17
Lobry, Claude. "La méthode des élucidations successives." Revue Africaine de la Recherche en Informatique et Mathématiques Appliquées Volume 9, 2007 Conference in... (September 30, 2008). http://dx.doi.org/10.46298/arima.1897.
Full textAbstract:
International audience In the process of elaboration of a model one emphasize on the necessity of confronting the model with the reality which it is supposed to represent. There is another aspect of the modelling process, to my opinion also essential, about which one usually do not speak. It consists in a logico-linguistic work where formal models are used to produce prediction which are not confronted with the reality but serve for falsifying assertions which nevertheless seemed to be derived from the not formalized model. More exactly a first informal model is described in the natural language and, considered in the natural language, seems to say some thing but in a more or less clear way. Then we translate the informal model into a formal model (mathematical model or computer model) where what was argumentation becomes demonstration.The formal model so serves for raising ambiguities of the natural language. But conversely a too much formalized text quickly loses any sense for a human brain what makes necessary the return for a less formal language. It is these successive "translations" between more or less formal languages that I try to analyze on two examples, the first one in population dynamics, the second in mathematics. Dans le processus d’élaboration d’un modèle on insiste beaucoup sur la nécessité de confronter le modèle à la réalité qu’il est sensé représenter. Il est un autre aspect de la modélisation, à mon avis tout aussi essentiel, dont on ne parle pas. Il s’agit d’un travail logico-linguistique où des modèles formels sont utilisés pour produire des prédiction qui ne sont pas confrontées à la réalité mais servent à falsifier des affirmations qui semblaient pourtant se déduire du modèle. Plus précisément un premier modèle informel est décrit dans la langue naturelle et, toujours dans la langue naturelle, semble dire quelques chose mais de façon plus ou moins claire. Alors on traduit le modèle informel en un modèle formel (mathématique ou informatique) où ce qui était argumentation devient démonstration. Le modèle formel sert ainsi à lever des ambiguïtés de la langue naturelle. Mais inversement un texte trop formalisé perd rapidement tout sens pour un cerveau humain ce qui rend nécessaire le retour à une langue moins formelle. Ce sont ces “traductions" successives entre langues plus ou moins formelles que je cherche à analyser sur deux exemples, le premier en dynamique des populations, le second en mathématiques.