Outil permettant de renommer une catégorie en modifiant toutes les pages catégorisées (ajoute un onglet « renommer » dans les pages de catégorie).
