Les fonctions semi-continues dans l'espace des ensembles fermés