«On ne savait pas si on pouvait réaliser la mission» : rencontre avec le général Jean-Claude Gallet qui a sauvé Notre-Dame