Allemagne/PMI: La contraction de l'activité en octobre plus forte que prévu