[cs] Důvěryhodný operační systém

[fr] Trusted operating system