Saint Denis, patron saint de Paris, Cath├ędrale Notre Dame