Des fonctions et des types : la sémantique d'un langage fonctionnel