Jean de Mailly — 13th-century Dominican chronicler