France: l'activité manufacturière a un peu reculé en juillet