historieskrifvaren Henri Martin ,prof.