Fin mot de l'histoire pour ce qui est de linux qui ne démarrait pas : en fait il faut le faire manuellement...