optimize docker images size #140
Description
Optimiser la taille des images Docker.
Une solution possible est probablement de d'abord installer les dépendances qui, elles, ne changent pas entre chaque version, et ensuite seulement d'ajouter le code source qui lui peut changer à chaque commit.