Avoir des jobs gitlab-ci qui utilisent des images Docker
Discuté ensemble, pour avoir une meilleure reproductibilité il faudrait faire nos jobs gitlab-ci à partir d'image Docker. On en a parlé notamment pour #4208 (closed) mais c'est vrai plus généralement. Et cela évitera aussi les discussions de vdj#450.
@duez avait l'air très motivé pour cela ;-)