Les ossements d'un évêque transférés au tombeau des évêques à la cathédrale de Saint-Dié