DjVu es un formato de fichero abierto.