Mentions légales du service

[dev] Adjust GPU naming policy (bug 13081)

Merged Lucas Nussbaum requested to merge gpu-naming-bug13081 into master

Merge request reports