« Notre-Dame de Paris » : faut-il aller voir le retour de la comédie musicale ?