la Ville de Mirmont, Jean de