products of animal origin used in the processing of semen, including diluents, additives or extenders, are obtained from sources which present no animal health risk or are so treated prior to use that such risk is prevented;
los productos de origen animal utilizados en la transformación del esperma, incluidos diluyentes, aditivos o expansores, se obtienen de fuentes que no presentan ningún riesgo zoosanitario o son objeto de un tratamiento previo apropiado para evitar ese riesgo;