Types de définition