Extensión distintiva de los ficheros batch.