$HOME
grosse pompe encore, atteint 0.05