De la modélisation littérale à la simulation numérique certifiée