Les prix dans la grande distribution étendue ont augmenté de 0,9% sur un an en juillet 2025