Thomas, Jean historian of Lorraine