• 1 Water Resource Modeling

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.