car il a refuse le double renommage des fichiers config-*
(il aurait fallu utiliser l'option -f).
On termine a la main.
Par ailleurs, le log du [5501] n'est evidemment pas identique au suivant,
mais resulte de l'application de la fonction sed_inc_version_php3_in_public
qui remplacait inc_version.php3 par inc_version.php dans les fichiers
de l'espace public.