L’apprentissage fédéré de Google pour Gboard avec des TEE : la confidentialité vérifiable expliquée