with : le nettoyage garanti with: guaranteed cleanup

f.close() en dernière ligne ressemble à une garantie. Ce n'est qu'un espoir.f.close() on the last line looks like a guarantee. It's only a hope.

Le Vol. VI a fermé sur une question de mémoire ; ce volume ouvre sur une question de nettoyage. Le numéro 08 a montré que la syntaxe de Python passe par des dunders ; with n'y échappe pas — ce numéro met au travail les siens, __enter__ et __exit__. Le réflexe le plus répandu pour fermer un fichier consiste à appeler close() en dernière ligne d'une fonction. Ce réflexe suppose, à tort, que le contrôle atteindra toujours cette ligne. Toute exception levée entre l'ouverture et cette dernière ligne saute directement par-dessus elle — le fichier reste ouvert, sans qu'aucune erreur ne le signale jamais.Vol. VI closed on a question of memory; this volume opens on a question of cleanup. Issue 08 showed that Python's syntax runs through dunders; with is no exception — this issue puts its own, __enter__ and __exit__, to work. The most common reflex for closing a file is calling close() on a function's last line. That reflex wrongly assumes control will always reach that line. Any exception raised between the opening and that last line jumps straight over it — the file stays open, with no error ever signaling it.

def traiter(chemin):
    f = open(chemin)
    donnees = f.read()
    resultat = 1 / len(donnees)     # lève ZeroDivisionError si le fichier est vide
    f.close()                        # cette ligne ne s'exécute JAMAIS dans ce cas
    return resultat

traiter("vide.txt")
# ZeroDivisionError -- et le fichier reste ouvert, personne n'a appelé close()