enrico pucci in disney's hunchback of notre dame