Gravar-mail: Maurice Agulhon, historien du mouvement ouvrier