Allemagne : l'indice PMI manufacturier plus haut que prévu