Quelques définitions de base