CE: variables in concrete terms should be denoted by idents instead of strings
The current implementation is doubtful, see also !862 (merged)
The "eval" is likely to involve name clashes, that should be avoided by using idents
[A venir] Mise en place de quotas sur nos instances GitLab. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
[Coming soon] Quotas installation on our GitLab instances. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=129728565
The current implementation is doubtful, see also !862 (merged)
The "eval" is likely to involve name clashes, that should be avoided by using idents