L'inflation en France révisée en légère baisse pour octobre