PC portable étudiant ingénieur

Bonjour, je suis actuellement étudiante en école d'ingénieur et étant à distance je dois me racheter un ordinateur portable pour travailler dans de bonnes conditions. Il servira surtout pour faire tourner les logiciels du pack office mais aussi quelques fois pour des logiciels comme ANSYS et Catia, et un peu de Blu-Ray.
N'ayant pas un gros budget, je cherche surtout dans les reconditionnés, avec au minimum les caractéristiques suivantes: i5, 8go de RAM, SSD d'au moins 240go. Qu'en pensez-vous ?
J'aimerais qu'il soit également assez léger pour être transporté régulièrement sans trop de mal.

J'hésite entre le Thinkpad x250 qui apparement est vraiment bien mais dont l'écran n'est pas Full HD (1366x768) et le Thinkpad S1 Yoga qui est Full HD et tactile, ce qui peut être très pratique pour la prise de notes en cours, mais je ne sais pas s'il est assez puissant pour l'utilisation que je veux en faire. J'ai aussi un peur peur de la taille des deux écrans (12.5'') mais comme mon ancien pc était un 13'' et qu'il me convenait je pense que ça devrait aller. J'aimerais bien rester sur du Lenovo ou du Dell.
Pourriez-vous me conseiller ?

https://www.backmarket.fr/lenovo-thinkpad-x250-12-core-i5-23-ghz-ssd-256-go-8-go-azerty-francais-pas-cher/158304.html#?l=1 (X250)

https://www.backmarket.fr/lenovo-thinkpad-s1-yoga-12-core-i5-23-ghz-ssd-240-go-8-go-azerty-francais-pas-cher/321306.html#?l=2 (Yoga)

L'idéal pour moi serait un Thinkpad X1 Carbon mais il est beaucoup trop cher et je n'arrive pas à le trouver à un prix accessible pour mon budget sur un site fiable (grand max 700€), ou un Dell Inspiron.

Merci à vous !