"""publish — empaquette un jeu en export Web/SCORM (voir
build_scorm_package.py) : le bouton "Exporter (Web/SCORM)" de la barre
de navigation d'un jeu (templates/base.html)."""