UEFI: historique et caractéristiques de cette interface pour PC