L’article entend montrer que les modèles formels continuent d’évoluer sur le terrain et qu’ils ont tendance aujourd’hui à faire place à ce que l’auteur appelle des pluriformalisations, c’est-à-dire des formalisations faisant coexister plusieurs types de formalismes : logiques, géométriques, probabilistes, etc. Contrairement à ce qui était possible dans les décennies précédentes, ces pluriformalisations sont utilisables et manipulables car elles peuvent être suivies de pratiques de simulations intégratives sur ordinateur. Par la suite, certains programmes de recherche avancés vont jusqu’à atteindre une phase de remathématisation.