Merci à tous pour cette avalanche bien sympathique de liens et de conseils (et un bravo tout particulier aux auteurs de la page du wiki d'Ubuntu) qui me permette de voir maintenant comment fonctionne l'ami grub2. Je pense que j'ai maintenant trouvé l'origine du problème, je vous tiens au courant dès qu'on l'a résolu. pp