Zone euro : le PIB en hausse de 12,7% au 3e trimestre