Raisonnement inductif Modèles, modèles, contrats et formulaires.