Qué es una extensión de archivo