Michel Christol - French historian