Merge branch 'master' into 'dev_principale'

Rattrapage master pour introduire ajouts de répertoires de travail

See merge request !12