Dernier message de la page précédente :
Salut.Pour le problème avec Windows 10, le problème a était vite régler.
Le problème de redémarrage est lui aussi régler. En partie en installant le 'noyau 4.13.16' et aussi 'Grub Customizer' pour pouvoir le mettre facilement comme choix par défaut, plus avec les nouvelles mises à jour...
Merci à tous.
