De manière spectaculaire, l’actuel tournant computationnel des sciences et des techniques conduit à l’essor, à la diversification et à la multiplication des pratiques de modélisation et de simulation. Le recours croissant à l’ordinateur, d’abord pour la résolution numérique de modèles mathématiques puis pour la modélisation computationnelle proprement dite, a rendu accessibles au calcul des pans entiers de formalismes mathématiques et logiques souvent déjà connus mais jusque-