Resultado de la búsqueda: eliminar las lineas duplicadas de un fichero con awk