About the $10K: don't forget that the french Gendarmerie runs on Ubuntu. See https://en.wikipedia.org/wiki/GendBuntu

Sorry but the french Gendarmerie does not run on Ubuntu. They use a custom made distro called GendBuntu which is based on Ubuntu as Ubuntu is based on Debian.

Do you work in/for the Gendarmerie?

I seriously doubt it's like you say. It's probably a lot more like a "custom made distro" that's based on Ubuntu as Linux Mint is based on Ubuntu: all the core stuff exactly the same, and a few things on top different (namely the DE in the case of Mint).

link to the CJEU press release, with details (PDF) http://curia.europa.eu/jcms/upload/docs/application/pdf/2016...