La cathédrale de Toul avant le XIIIe siècle / Jacques Choux