Notre-Dame de Paris : la cathédrale retrouve enfin sa charpente