Il devra installer Debian en EFI, faudra passer par quelques étapes supplémentaires, s'il conserve Win7 à côté.
Même s'il l'a monté lui-même, je rajoute.
Car je suppose que Windows 7 s'installe en EFI automatiquement. Soit tu cumules deux OS en classique soit en EFI, mais il faut faire l'un ou l'autre.