Étiquette de l’extension : revision manager