Regolamento di esecuzione (UE) 2017/1145 della Commissione, del 8 giugno 2017, relativo al ritiro dal mercato di alcuni additivi per mangimi autorizzati a norma delle direttive del Consiglio 70/524/CEE e 82/471/CEE e che abroga le disposizioni obsolete che autorizzano tali additivi per mangimi