Regolamento di esecuzione (UE) 2015/723 della Commissione, del 5 maggio 2015, relativo all'autorizzazione della biotina come additivo per mangimi destinati a tutte le specie animali