ignorer les fichiers de sauvegarde des ledsection
on va avoir un nom plus standard pour le fichier de debug de #165
une nouvelle version de \pstart, mieux indenter
utiliser plutôt \l@dnumpstartsL plutôt que le compteur \thepstart, qui peut être modifié par l'utilisateur