Extensions de corps : définitions et propriétés