le grand renommage, y compris dans les fichiers en 00-SUMMARY