Zone euro : PMI composite en légère hausse en juillet