Gras, Michel agrégé d'histoire