Arbois de Jubainville, Marie Henri d'.