Merge branch 'dev' into 'master'
Ajout des généralités devops, corrections diverses, taille des images, et correction de script. See merge request !5
Ajout des généralités devops, corrections diverses, taille des images, et correction de script. See merge request !5