Vérification d’un modèle

Vous avez besoin de vérifier votre modèle et d’enregistrer la sortie dans un fichier texte. De plus dans le fichier de sortie, vous voulez mettre le nom du modèle et l’heure de début de la vérification. Enregistrez le code ci-dessous…