Quand les révolutionnaires avaient rebaptisé Notre-Dame de Paris