https://123dok.net/document/4yr7wmvq-roles-des-outils-de-gestion-dans-les-reductions-d-effectifs.html