Le taux de chômage en légère baisse dans la zone euro, à 6,4% en juillet