CLIP OS: un sistema operativo de la Agencia de Ciberseguridad de Francia