Définition, construction et propriétés de la fermeture entière