Should be easy enough. If the photos are in his My Pictures folder then just copy that folder to a USB memory stick. When the computer is repaired and clean, just copy it back. A 4 Gb stick should be ample unless he has an awful lot of them.
Best phone camera 2017
Stunning new film posters by Hattie Stewart, Joe Cruz & more
iPad Pro 10.5in (2017) review
28 astuces pour profiter au mieux de votre iPhone