Un type défini dans le cadre d'un autre type. Un type imbriqué est généralement utilisé pour encapsuler les détails de l'implémentation du type de haut niveau.