L'inflation a bien ralenti en octobre, mais les prix alimentaires sont toujours hauts