Allemagne: la croissance du PIB au premier trimestre révisée en hausse, à +0,4%