Just for information,
I have updated Lenovo Thinkcentre 72 to the latest available BIOS : F1KT58AUS (dated 2013-11-28) and the problem remains :
Can’t boot from HD if PXE has been selected first.
Nicolas