Allemagne : la croissance du troisième trimestre révisée en hausse, à 0,4 %