Dans ce programme il est inutile de l'appeler car les ressources
sont libérées automatiquement à la fin de l'execution et chaque
execution est indépendante.
Parameters:
emprunt - L'emprunt que l'on veut détruire (passé par référence)
Preconditions:
L'emprunt existe (a été créé par creerInfoEmprunt)