À Vincennes samedi la question a étée posée. Curieusement aujourd'hui je tombe sur
http://korben.info/booter-linux-mac.html