Modèles mathématiques et modèles informatiques : sur la théorie du modèle.