Indice PMI France : Définition, évolution récente et impact sur les marchés 10 juillet 2025 / france, PMI, pmi france