Dictionnaire biographique lorrain — Paul d' Arbois de Jubainville