Casting de Notre-Dame de Paris, le chantier du siècle