Je le ramène à la maison (il est 10h ...) et là je commence à installer !archlinux etc et impossible d'installer grub en uefi, bon pas grave j'en avais choisi un qui supportait le boot avec mbr ...