Merge branch 'dev' into 'master'

mise à jour de la procédure de MAJ d'element

See merge request !110
3 jobs for master in 2 minutes and 32 seconds (queued for 3 seconds)