Tu peux regarder la section 1 de mon article "La filtration de Harder-Narasimhan des schémas en groupes finis et plats":
http://www.math.u-psud.fr/~fargues/HNgp.pdfhttps://www.imj-prg.fr/~laurent.fargues/HNgp.pdf
Tout ce dont tu rêves y est démontré.
