AWK: una introducción a esta excelente herramienta