On montre d’abord qu’il est nécessaire de caractériser une simulation informatique à un niveau plus fin que celui des modèles formels : celui des symboles et de leurs divers modes de référer. C’est particulièrement vrai pour celles qui intègrent des modèles et des formalismes hétérogènes. On s’interroge ensuite sur les causes ontologiques qui pourraient expliquer leur succès épistémique. Il est montré qu’elles peuvent s’expliquer commodément si l’on adopte une conception de la nature à la fois discontinuiste et finitiste. Cette dernière (...) thèse se trouve renforcer une position métaphysique naturaliste en invalidant, à sa racine, l’argument formulé par le matérialisme spéculatif à l’encontre d’une approche scientifique du monde physique procédant, comme les simulations, par représentations et opérations finitistes. (shrink)