découpler la construction des images et le déploiement de la doc

Les images se construisent automatiquement lorsqu'il y a un commit de tag, mais pas la doc (gitlab pages). Mais pour avoir la doc, nous sommes obligés aujourd'hui de relancer la construction des images. Il faudrait découpler les deux étapes.