GB - INDICE PMI MANUFACTURIER À 40,7 EN MAI - DÉFINITIF (FLASH 40,6; AVRIL 32,6)