Quelques définitions