À vrai dire, la conversion des cartes au format non GIF est assez simple : il suffit de créer un zip contenant la carte .gif et un fichier appelé « data » contenant (par exemple) la ligne suivante :
version 1.0
Si la carte s'appelle bdtoto.gif, il faudra appeler le fichier zip bdtoto, SANS l'extension.
Voilà, normalement ça devrait marcher.