Ce fichier est obsolète : si vous comptez le réutiliser, mettez à jour
les horaires des perms. Cela-dit, fin_connexion devrait faire tout le boulot
automatiquement.