Hi and thanks for the answer. Unfortunately, things don't progress with bios but I'll continue to investigate.
Nevertheless, I burnt a dvdrw and yesterday I could instal arch linux. I'm posting from the new installation. I'll continue to ask questions :-) but in another post. Many thanks again. -- Philippe
