Ce sont des applications directes des définitions.