Comment implémenter une garde de type pour un arbre qui vérifie uniquement les clés et valeurs autorisées, y compris les sous-arbres imbriqués ? Comment garantir une complexité O(1) dans le pire cas pour la vérification des clés ?