ALLEMAGNE-INDICE PMI DES SERVICES À 57,5 EN JUIN - DÉFINITIF (FLASH 58,1)