Merci pour cette première réponse :

CD boite officielle "discovery", manuel + 2 CD

Matériel exotique : faut-il que j'essaie de redémarrer en déconnectant tous les périphériques USB ???

comment passe-t-on "linux noauto" au boot ?

ouf !

merci