Définition et propriétés fondamentales des extensions entières