notice nécrologique Miot, Henri