Définitionsse détyper