Zone euro : la croissance ralentit en mai à cause des difficultés de l'industrie