Allemagne: le PIB augmente un peu plus que prévu au troisième trimestre