Saint-Dié, cathédrale, Notre-Dame et son cloître — André Laurent