Implémentation du type