Formateur JSON haute performance avec arborescence, filtrage et historique