Fonction de finalisation pour un simulateur autonome, à invoquer dans la fonction main() du simulateur. Typiquement, elle traite les spécifications de sortie déclarées dans l'initialisation de la simulation, et elle libère la mémoire encore allouée.