12:45 Avant la publication des chiffres mensuels des prix à la consommation aux États-Unis plus tard dans la journée, les marchés européens progressent ce mercredi midi.