¿Cómo se denominan las tres o cuatro últimas letras, precedidas de un punto, en el nombre de un archivo?