fix-cas.py: posait problème si on voulait modifier tout les utilisateurs authentifié.
export-issues-html.sh: on prend aussi le CSS
Les scripts divers sont nommés suivant la convention (ainsi que leur dossier).
