Notre-Dame de Paris : les restaurateurs s'affairent pour redonner des couleurs à la cathédrale