Philippe de Florange, grand prévôt de Saint-Dié — Gaston Save