Bonjour,
Avec les prix qui ont flambé, c’est assez compliqué pour avoir un 17’’ avec un budget de 500€.
Les tarifs calinous sont proposés avec des processeurs Celeron. Je suis pas sûr qu’une Debian s’y sente à l’aise… Pas une 12 en tous cas !
Vous aurez plus d’opportunités en orientant vos recherches vers du 15’’ voire du 14’’.
Un portable sans OS chez Cybertek commence à 600€ par exemple. Ca vaut peut etre le coup de mettre 100# de + pour être chez des gens sérieux. C’est vous qui voyez 
Une autre solution serait de vous tourner vers de l’occasion pour mieux entrer dans votre budget. Profitez de l’occasion si une personne avec Windows 10 revend son portable en le remplaçant pour un Windows 11. Vous pourriez trouver un bon I3 ou I5 avec 8Go de Ram ou + en occasion qui ferait très bien l’affaire.
Si achat online, essayer avant de payer… ou valider des réserves avant satisfaction.
Faites chauffer les isos 
Cdt