Geharmoniseerd indexcijfer van de consumptieprijzen (GICP) van oktober 2017