total algérie juillet