Cloud souverain : Kubernetes bare-metal piloté par la preuve | ITNET