France : plus fort repli de la production manufacturière depuis mai 2020, selon l'indice PMI