Definition des contrats des fonctions