Les différentiations HPE sur l’hyperconvergence