An extensionalist analysis of computer simulations (Version intégrée)